Strategies Comparison of Test Generation from UML Using SMT Solver.
Jérôme CantenotFabrice AmbertFabrice BouquetPublished in: ICST Workshops (2013)
Keyphrases
- test generation
- test cases
- regression testing
- test sequences
- symbolic execution
- static analysis
- mutation testing
- quality assurance
- software testing
- software engineering
- design automation
- object oriented
- modeling language
- data sets
- metamodel
- statistical machine translation
- monitoring system
- test data generation
- relational databases
- code coverage
- high level