An algebraic approach to test data generation.

Stephen P. Krosner

Published in: ACM Annual Conference (1) (1972)

Keyphrases

test data generation
simulated annealing algorithm
test cases
search based testing
symbolic execution
test case generation
generation algorithm
software testing
fitness function
simulated annealing
algebraic operations
test generation
genetic algorithm
query language
object oriented