Patrice Godefroid Jonathan de Halleux Aditya V. Nori Sriram K. Rajamani Wolfram Schulte Nikolai Tillmann Michael Y. Levin Automating Software Testing Using Program Analysis. 30-37 2008 25 IEEE Software 5 http://dx.doi.org/10.1109/MS.2008.109 db/journals/software/software25.html#GodefroidHNRSTL08