Sign in

Scalable satisfiability checking and test data generation from modeling diagrams.

Yannis SmaragdakisChristoph CsallnerRanjith 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