Dimitra Giannakopoulou Corina S. Pasareanu Learning Techniques for Software Verification and Validation - Special Track at ISoLA 2010. 640-642 2010 ISoLA (1) http://dx.doi.org/10.1007/978-3-642-16558-0_51 conf/isola/2010-1 db/conf/isola/isola2010-1.html#GiannakopoulouP10