Constraint Slving for Test Case Generation.

Ashok K. Chandra Vijay S. Iyengar

Published in: ICCD (1992)

Keyphrases

test case generation
test cases
software testing
object oriented systems
test data generation
test suite
relational databases
test generation
java programs
data sets
information systems
multi agent systems
pattern matching
static analysis