Software transformations for sequential test generation.
Arun BalakrishnanSrimat T. ChakradharPublished in: Asian Test Symposium (1995)
Keyphrases
- test generation
- test cases
- software testing
- quality assurance
- static analysis
- test data generation
- symbolic execution
- test sequences
- design automation
- regression testing
- mutation testing
- software development
- software systems
- source code
- test suite
- life cycle
- software architecture
- cooperative
- code coverage
- software quality
- software application
- user interface
- artificial intelligence
- real world
- database