A Test Generation Solution to Automate Software Testing.
Fabrice BouquetChristophe GrandpierreBruno LegeardFabien PeureuxPublished in: AST (2008)
Keyphrases
- software testing
- test generation
- test cases
- software development
- symbolic execution
- code coverage
- test data generation
- quality assurance
- software systems
- test case generation
- white box testing
- design automation
- integration testing
- test sequences
- software engineering
- fault localization
- software reliability
- test suite
- regression testing
- static analysis
- testing process
- black box
- test data
- multi agent systems
- web services
- decision making
- feature selection