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