ISSTA
2000
ACM
13 years 8 months ago
2000
ACM
ions for concise and precise specification of such control, but balance this with visualization support to help users also obtain intuitive insights. The underlying complexhese con...
ISSTA
2000
ACM
13 years 8 months ago
2000
ACM
Subdomains of a program's input space are a concept around which ideas about testing can be organized. This paper considers the questions, "What are the best subdomains ...
ISSTA
2000
ACM
13 years 9 months ago
2000
ACM
A number of different concepts have been proposed that, loosely speaking, revolve around the notion of software testability. Indeed, the concept of testability itself has been int...
ISSTA
2000
ACM
13 years 9 months ago
2000
ACM
This paper presents a strategy for structural testing of objectoriented software systems with possibly unknown clients and unknown information about invoked methods. By exploiting...
ISSTA
2000
ACM
13 years 9 months ago
2000
ACM
Ì ÁÒ ÕÙ Ð ØÝ Æ ×× ÖÝ ÓÒ Ø ÓÒ Ò ÐÝÞ Ö ´ÁÆ µ × ¬Ò Ø ¹×Ø Ø Ú Ö ¬ Ø ÓÒ ØÓÓÐ Ø Ø × Ò Ð ØÓ ÔÖÓÔ¹ ÖØ × Ó ×ÓÑ Ú ÖÝ Ð Ö...
ISSTA
2000
ACM
13 years 9 months ago
2000
ACM
ISSTA
2000
ACM
13 years 9 months ago
2000
ACM
—Before designing safety- or mission-critical real-time systems, a specification of the required behavior of the system should be produced and reviewed by domain experts. After ...
ISSTA
2000
ACM
13 years 9 months ago
2000
ACM
ISSTA
2000
ACM
13 years 9 months ago
2000
ACM
This paper presents three sets of classification schemes for processes, properties, and transitions that can be used to assist in the analysis of real-time systems. These classifi...
ISSTA
2000
ACM
13 years 9 months ago
2000
ACM
A method for finding bugs in code is presented. For given small numbers j and k, the code of a procedure is translated into a relational formula whose models represent all executi...