Juei Chang Debra J. Richardson Structural Specification-Based Testing: Automated Support and Experimental Evaluation. 285-302 1999 conf/esec/1999 ESEC / SIGSOFT FSE http://link.springer.de/link/service/series/0558/bibs/1687/16870285.htm db/conf/esec/esec99.html#ChangR99