TEGAS2 - anatomy of a general purpose TEST GENERATION AND SIMULATION system for digital logic.
Stephen A. SzygendaPublished in: DAC (1972)
Keyphrases
- test generation
- general purpose
- test cases
- test sequences
- design automation
- special purpose
- symbolic execution
- quality assurance
- three dimensional
- virtual reality
- modal logic
- static analysis
- regression testing
- test data generation
- medical images
- programming language
- mutation testing
- software testing
- data sets
- database
- image quality
- metadata
- code coverage