Using Attributed Grammars to Test Designs and Implementations

@inproceedings{Duncan-Hutchison:ICSE81,
  author    = {Arthur G. Duncan and
               John S. Hutchison},
  title     = {Using Attributed Grammars to Test Designs and Implementations},
  booktitle = {ICSE},
  pages     = {170--178},
  publisher = {{IEEE} Computer Society},
  year      = {1981},
}