Random testing of formal software models and induced coverage.
David OwenDejan DesovskiBojan CukicPublished in: Random Testing (2006)
Keyphrases
- statistical models
- software testing
- software development
- parameter estimation
- test cases
- experimental data
- neural network
- test suite
- software tools
- software systems
- complex systems
- design patterns
- computational models
- formal model
- source code
- information systems
- database
- quality assurance
- formal models
- reactive systems