reference http://www.informatik.fernuni-hagen.de/pi3/PDFs/IWSM02.pdf http://portal.acm.org/citation.cfm?id=1134469&coll=GUIDE&dl=GUIDE&CFID=18330274&CFTOKEN=28241271&ret=1#Fulltext Papers/Software Testability 2007.09.21