Sebastián Uchitel Jeff Kramer Jeff Magee Negative scenarios for implied scenario elicitation. 109-118 2002 SIGSOFT FSE http://doi.acm.org/10.1145/587051.587069 db/conf/sigsoft/fse2002.html#UchitelKM02