Controlling test case explosion in test generation from B formal models.
Bruno LegeardFabien PeureuxMark UttingPublished in: Softw. Test. Verification Reliab. (2004)
Keyphrases
- test generation
- formal models
- test cases
- formal model
- test data
- test sequences
- software testing
- rule based systems
- process model
- object oriented
- black box
- test set
- regression testing
- mutation testing
- test case selection
- test suite
- test case generation
- number of test cases
- test data generation
- set of test cases
- testing process
- database
- code coverage
- static analysis
- test suite reduction
- integration testing
- life cycle
- expert systems
- multi agent systems
- genetic algorithm