Randomized Testing in PLT Redex

Casey Klein, Robby Findler. Randomized Testing in PLT Redex. In Workshop on Scheme and Functional Programming (SFP). 2009.

@inproceedings{KleinFindler2009,
  title = {Randomized Testing in PLT Redex},
  author = {Casey Klein and Robby Findler},
  year = {2009},
  tags = {PLT Redex, programming languages, semantics, test coverage, meta programming, case study, meta-model, modeling language, language modeling, testing, reviewing, random testing, operational semantics, Meta-Environment, search, coverage, domain-specific language},
  researchr = {https://researchr.org/publication/KleinFindler2009},
  cites = {0},
  citedby = {0},
  booktitle = {Workshop on Scheme and Functional Programming (SFP)},
}