Automated Verification and Test Case Generation for Input Validation.

Hui Liu Hee Beng Kuan Tan

Published in: AST (2006)

Keyphrases

test case generation
automated verification
model checking
automated reasoning
software testing
test cases
formal verification
test data generation
java programs
genetic algorithm
object oriented systems
data sets
formal specification