• Testing tools and techniques to analyze source code, bytecode, and binaries for security vulnerabilities.

1. Previous term: Statement coverage
2. Next term: Static scope
3. Random term: True random number generator