Test generation games from formal specifications.
Ansuman BanerjeeBhaskar PalSayantan DasAbhijeet KumarPallab DasguptaPublished in: DAC (2006)
Keyphrases
- test generation
- formal specification
- software testing
- test cases
- model checking
- test sequences
- specification languages
- object oriented design
- symbolic execution
- design automation
- specification language
- static analysis
- quality assurance
- concurrent systems
- reverse engineering
- formal methods
- semantic data models
- protocol specification
- case study
- business rules
- fine grained
- test set
- cooperative
- information systems
- formal specification language