Communications of the ACM · 2014 · 258 citations · 38 references
ComputingComputer EngineeringComputer ScienceComputer SecuritySoftware EngineeringVulnerability AnalysisBinary ExploitationExploit DevelopmentExploitation TechniquesSoftware Security EngineeringSoftware TestingSoftware Vulnerability DiscoveryAutomated Bug FindingAutomated Exploit GenerationVulnerability Detection
The idea is to identify security-critical software bugs so they can be fixed first.
38
Symbolic execution and program testing
James C. King · Communications of the ACM · 1976 · 3K citations · Full text
Patrice Godefroid, Nils Klarlund, Koushik Sen · ACM SIGPLAN Notices · 2005 · 2.1K citations
Koushik Sen, Darko Marinov, Gul Agha · 2005 · 1.7K citations
Patrice Godefroid, Nils Klarlund, Koushik Sen · 2005 · 1.5K citations