David Lo Leonardo Mariani Mauro Pezzè Automatic steering of behavioral model inference. 345-354 2009 ESEC/SIGSOFT FSE http://doi.acm.org/10.1145/1595696.1595761 conf/sigsoft/2009 db/conf/sigsoft/fse2009.html#LoMP09