Graspan: A Single-machine Disk-based Graph System for Interprocedural Static Analyses of Large-scale Systems Code
KLEE: Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs