Directed incremental symbolic execution

Symbolic execution and program testing

James C. King · Communications of the ACM · 1976 · 3K citations · Full text

Computing, Computer Science, Formal Methods +10

CUTE

Koushik Sen, Darko Marinov, Gul Agha · 2005 · 1.7K citations

Computing, Computer Engineering, Computer Science +15

Software abstractions: logic, language and analysis

Choice Reviews Online · 2007 · 1.5K citations

Computing, Computer Science, Design Automation +11

DART

Patrice Godefroid, Nils Klarlund, Koushik Sen · 2005 · 1.5K citations

Engineering, Computer Engineering, Computer Science +15

Model Checking Programs

Willem Visser, Klaus Havelund, Guillaume Brat et al. · Automated Software Engineering · 2003 · 1.4K citations

Computing, Aerospace Engineering, Computer Science +13