Testing Programs with the Aid of a Compiler.

Richard G. Hamlet

Published in: IEEE Trans. Software Eng. (1977)

Keyphrases

general purpose
symbolic execution
code generation
programming language
test cases
provably correct
programming environment
computer programs
java bytecode
programs written
java programs
software testing
genetic algorithm
constraint programming
database systems
high level
decision trees