Flavian Vasile Samik Basu Cost-based Analysis of Multiple Counter-Examples. 33-38 2007 conf/seke/2007 SEKE db/conf/seke/seke2007.html#VasileB07