On the experience of using cause-effect graphs for software specification and test generation.
Amit M. ParadkarPublished in: CASCON (1994)
Keyphrases
- test generation
- test cases
- software testing
- quality assurance
- static analysis
- test data generation
- symbolic execution
- software development
- design automation
- software systems
- source code
- test sequences
- formal methods
- user interface
- formal specification
- testing process
- specification language
- software projects
- high level
- regression testing
- mutation testing
- software quality
- test suite
- software components
- test set
- software engineering
- training set
- training data