Finding application errors and security flaws using PQL: a program query language
Vulnerability Testing of Software System Using Fault Injection