PROPEL: an approach supporting property elucidation. - Rachel L. Smith; George S. Avrunin; Lori A. Clarke; Leon J. Osterweil (ICSE, 2002)