Rachel L. Smith George S. Avrunin Lori A. Clarke Leon J. Osterweil PROPEL: an approach supporting property elucidation. 11-21 2002 conf/icse/2002 ICSE http://doi.acm.org/10.1145/581339.581345 db/conf/icse/icse2002.html#SmithACO02