PET: An interactive software testing tool

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1855, Issue , 2000, Pages 552-556

  Gunter, Elsa ^a   Kurshan, Robert ^a   Peled, Doron ^a  

^a LUCENT TECHNOLOGIES   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER AIDED ANALYSIS; FLOW GRAPHS; GRAPHIC METHODS;

AUTOMATIC VERIFICATION; CONCURRENT PROGRAM; FINITE STATE SYSTEMS; GRAPHICAL REPRESENTATIONS; INTERACTIVE SOFTWARE; INTERLEAVED SEQUENCE; PROGRAM VERIFICATION; VISUAL REPRESENTATIONS;

SOFTWARE TESTING;

EID: 84944386083     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/10722167_43     Document Type: Conference Paper

References (4)

1. G.J. Myers, The Art of Software Testing, John Wiley and Sons, 1979.
2. E.L. Gunter, D. Peled, Path Exploration Tool, to appear in Tools and Algorithms for the Construction and Analysis of Systems (TACAS), Amsterdam, 1999.
3. C.A.R. Hoare, An axiomatic basis for computer programming, Communication of the ACM 12, 1969, 576-580.
4. S. Rapps, E.J. Weyuker, Selecting Software Test Data Using Data Flow Information, Transactions on Software Engineering 11(4): 367-375 (1985).