Software model synthesis using satisfiability solvers
The QSM algorithm and its application to software behavior model induction