Login / Signup

Incremental Test Case Generation for UML-RT Models Using Symbolic Execution.

Eric James RaposJürgen Dingel
Published in: ICST (2012)
Keyphrases
  • test data generation
  • test case generation
  • symbolic execution
  • software systems
  • neural network
  • multi agent
  • pattern matching
  • simulated annealing algorithm