New publications:
BMuzz: Combining Bounded Model Checking and Fuzzing to Enhance Code Coverage
goLoop: SMT-Based Loop Analysis via Global Optimization
parSAT: Parlallel Solving of Floating Point Satisfiability