Test Templates: A Specification-Based Testing Framework

@inproceedings{Stocks-Carrington:ICSE93,
  author    = {Phil Stocks and
               David A. Carrington},
  title     = {Test Templates: A {Specification-Based} Testing Framework},
  booktitle = {ICSE},
  pages     = {405--414},
  publisher = {{IEEE} Computer Society / {ACM} Press},
  year      = {1993},
}