Automated Bug Finding in Video Games: A Case Study for Runtime Monitoring
Finding application errors and security flaws using PQL: a program query language