RL Smith, GS Avrunin, LA Clarke and LJ Osterweil. "PROPEL: An approach supporting property elucidation" ICSE 2002: Proceedings of the 24th International Conference on Software Engineering (2002)
Available at: http://works.bepress.com/leon_osterweil/34/