Structural Specification-Based Testing: Automated Support and Experimental Evaluation

@inproceedings{Chang-Richardson:FSE99,
  author    = {Juei Chang and
               Debra J. Richardson},
  title     = {Structural {Specification-Based} Testing: Automated Support and Experimental Evaluation},
  booktitle = {{ESEC/SIGSOFT} {FSE}},
  pages     = {285--302},
  series    = {LNCS},
  volume    = {1687},
  publisher = {Springer},
  year      = {1999},
  doi       = {10.1007/3-540-48166-4\_18},
}