Carnegie Mellon University
Concolic testing
Taint checking
Mellon
Symbolic execution
Software engineering