Test-Case Generation with lOGen

IEEE Software

Volumn 5, Issue 1, 1988, Pages 72-79

  Lindquist, Timothy E ^a   Jenkins, Joyce R ^b  

^a ARIZONA STATE UNIVERSITY   (United States)

^b UNITED STATES AIR FORCE ACADEMY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATA THEORY - GRAMMARS; COMPUTER PROGRAMMING LANGUAGES - ADA; COMPUTER SOFTWARE - RELIABILITY;

LEFT TO RIGHT SCAN WITH ONE LOOK-AHEAD TOKEN; STATIC-ANALYSIS TOOL; SYMBOLIC EXECUTION; TEST-CASE GENERATION;

COMPUTER SYSTEMS PROGRAMMING;

EID: 0023842739     PISSN: 07407459     EISSN: None     Source Type: Journal    
DOI: 10.1109/52.1996     Document Type: Article

References (2)

1. S.L. Hantler and J.C. King, “An Introduction to Proving the Correctness of Programs,” A CM Computing Surveys, Sept. 1976, pp. 331-353.
2. W.E. Howden, “Symbolic Testing and the Dissect Symbolic Evaluation System,”