David Lo Shahar Maoz Mining scenario-based specifications with value-based invariants. 755-756 2009 OOPSLA Companion http://doi.acm.org/10.1145/1639950.1639999 conf/oopsla/2009c db/conf/oopsla/oopsla2009c.html#LoM09