Chicano, F. (2014).  On the Application of SAT solvers for Search Based Software Testing. Polytechnique Montréal, Montréal, QC, Canada.

Languages