Martin C. Rinard Cristian Cadar Huu Hai Nguyen Exploring the acceptability envelope. 21-30 2005 conf/oopsla/2005c OOPSLA Companion http://doi.acm.org/10.1145/1094855.1094866 db/conf/oopsla/oopsla2005c.html#RinardCN05