@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)},
}

@inproceedings{KleinFF10,
  title = {Random testing for higher-order, stateful programs},
  author = {Casey Klein and Matthew Flatt and Robby Findler},
  year = {2010},
  doi = {10.1145/1869459.1869505},
  url = {http://doi.acm.org/10.1145/1869459.1869505},
  tags = {object-oriented programming, semantics, Java, meta programming, formal semantics, contracts, testing, type system, random testing,  mutable objects, subject-oriented programming, operational semantics, Meta-Environment, systematic-approach, feature-oriented programming, meta-objects},
  researchr = {https://researchr.org/publication/KleinFF10},
  cites = {0},
  citedby = {0},
  pages = {555-566},
  booktitle = {Proceedings of the 25th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2010},
  editor = {William R. Cook and Siobhán Clarke and Martin C. Rinard},
  address = {Reno/Tahoe, Nevada},
  publisher = {ACM},
  isbn = {978-1-4503-0203-6},
}