@electronic {214, title = {On the Application of SAT solvers for Search Based Software Testing}, year = {2014}, author = {Francisco Chicano} }