TASS: The Toolkit for Accurate Scientific Software

Abstract interpretation

Patrick Cousot, Radhia Cousot · 1977 · 6.2K citations

Computing, Computer Science, Compilers +8

Symbolic execution and program testing

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

Computing, Computer Science, Formal Methods +10

KLEE: unassisted and automatic generation of high-coverage tests for complex systems programs

Cristian Cadar, Dawson Engler · 2008 · 2.7K citations

Computing, Computer Science, Computer Systems +9

Systematic design of program analysis frameworks

Patrick Cousot, Radhia Cousot · 1979 · 1.6K citations · Full text

Computing, Computer Engineering, Computer Science +15

Bandera

James C. Corbett, Matthew B. Dwyer, John Hatcliff et al. · 2000 · 1.1K citations · Full text

Computing, Computer Science, Formal Methods +15