PROPEL: an approach supporting property elucidation.

Rachel L. Smith, George S. Avrunin, Lori A. Clarke, Leon J. Osterweil

Browse the full ICSE paper archive.