The Feasibility of Automated Feedback-Directed Specification-Based Test Generation: A Case Study of a High-Assurance Operating System.
Sam WeberAmitkumar M. ParadkarSuzanne McIntoshDavid C. TollPaul A. KargerMatthew KaplanElaine R. PalmerPublished in: ISSRE (2008)
Keyphrases
- high assurance
- operating system
- test generation
- test cases
- computer systems
- virtual machine
- distributed systems
- static analysis
- software testing
- software systems
- quality assurance
- case study
- access control
- virtual memory
- windows xp
- high level
- fault tolerant
- specification language
- memory management
- microsoft windows
- data processing
- address space