Martin C. Rinard, Cristian Cadar, Huu Hai Nguyen: Exploring the acceptability envelope. OOPSLA Companion 2005: 21-30