Koushik Sen: Concolic Testing and Constraint Satisfaction. SAT 2011: 3-4