Automated detection of logical errors in programs
Towards automatic generation of vulnerability-based signatures