Specification-based testing for refinement.

Temesghen Kahsai Markus Roggenbach Bernd-Holger Schlingloff

Published in: SEFM (2007)

Keyphrases

test case generation
formal verification
test cases
neural network
test data
test suite
database
formal specification
software testing
code generation
test data generation
data mining
evolutionary algorithm
mobile robot
formal methods
specification language