Structural Specification-Based Testing with ADL. - Juei Chang; Debra J. Richardson; Sriram Sankar (ISSTA, 1996)

ADLscope: An Automated Specification-based Unit Testing Tool. - Juei Chang; Debra J. Richardson (ASE, 1998)

Structural Specification-Based Testing: Automated Support and Experimental Evaluation. - Juei Chang; Debra J. Richardson (ESEC / SIGSOFT FSE, 1999)