Ccfa

Stochastic Optimization of Program Obfuscation
Toward Understanding Compiler Bugs in GCC and LLVM
Coverage-Directed Differential Testing of JVM Implementations
Querying Sequential Software Engineering Data
Constraint-Based Automatic Symmetry Detection