Testing for Perturbations of Program Statements.

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

Keyphrases

test cases
symbolic execution
search based software testing
computer programs
databases
natural language
test suite
software testing
test generation
concurrent programs
database
website
relational databases
open source
static analysis
dynamic analysis