Sign in
Scalable satisfiability checking and test data generation from modeling diagrams.
Yannis Smaragdakis
Christoph Csallner
Ranjith Subramanian
Published in:
Autom. Softw. Eng. (2009)
Keyphrases
</>
test data generation
simulated annealing algorithm
search based testing
multi agent
software testing
case study
artificial neural networks
error rate
test cases
symbolic execution