Test generation with Satisfiability Modulo Theories solvers in model-based testing.
Jérôme CantenotFabrice AmbertFabrice BouquetPublished in: Softw. Test. Verification Reliab. (2014)
Keyphrases
- test generation
- model based testing
- test cases
- satisfiability modulo theories
- modulo theories
- software testing
- answer set programming
- test sequences
- test data
- sat solvers
- boolean variables
- testing process
- test set
- test suite
- software development
- regression testing
- case study
- quality assurance
- constraint solvers
- object oriented
- machine learning
- error rate
- search algorithm
- software engineering
- knowledge management
- databases
- software systems
- orders of magnitude
- artificial intelligence