Property-based testing of privileged programs

This publication has 10 references indexed in Scilit:

• STAD-a system for testing and debugging: user perspective
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• Automated detection of vulnerabilities in privileged programs by execution monitoring
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• ADL—an interface definition language for specifying and testing software
  Published by Association for Computing Machinery (ACM) ,1994
• Targeting safety-related errors during software requirements analysis
  Published by Association for Computing Machinery (ACM) ,1993
• Constraint-based automatic test data generation
  IEEE Transactions on Software Engineering, 1991
• Crisis and aftermath
  Communications of the ACM, 1989
• Approaches to specification-based testing
  Published by Association for Computing Machinery (ACM) ,1989
• Program Slicing
  IEEE Transactions on Software Engineering, 1984
• Security analysis and enhancements of computer operating systems
  Published by National Institute of Standards and Technology (NIST) ,1976
• SELECT---a formal system for testing and debugging programs by symbolic execution
  Published by Association for Computing Machinery (ACM) ,1975