Juei Chang Debra J. Richardson Sriram Sankar Structural Specification-Based Testing with ADL. 62-70 1996 ISSTA http://doi.acm.org/10.1145/229000.226302 db/conf/issta/issta96.html#ChangRS96