Marius Bozga Jean-Claude Fernandez Lucian Ghirvu Using static analysis to improve automatic test generation. 142-152 2003 4 STTT 2 http://dx.doi.org/10.1007/s10009-002-0098-x db/journals/sttt/sttt4.html#BozgaFG03