% Bibliography downloaded from https://researchr.org/downloadbibtex/bibliography/amsdv_thesis-declarative-type-system-tester

@article{Wegner72,
  title = {The Vienna Definition Language},
  author = {Peter Wegner},
  year = {1972},
  url = {http://dl.acm.org/citation.cfm?id=1074902},
  researchr = {https://researchr.org/publication/Wegner72},
  cites = {0},
  citedby = {0},
  journal = {ACM Computing Surveys},
  volume = {4},
  number = {1},
  pages = {5-63},
}

@article{Weyuker82,
  title = {On Testing Non-Testable Programs},
  author = {Elaine J. Weyuker},
  year = {1982},
  tags = {testing, programming},
  researchr = {https://researchr.org/publication/Weyuker82},
  cites = {0},
  citedby = {0},
  journal = {Comput. J.},
  volume = {25},
  number = {4},
  pages = {465-470},
}

@article{guilmette1995tggs,
  title = {TGGS: A Flexible System for Generating Efficient Test Case Generators},
  author = {Guilmette, Ronald F},
  year = {1995},
  researchr = {https://researchr.org/publication/guilmette1995tggs},
  cites = {0},
  citedby = {0},
}

@inproceedings{CruzPA05,
  title = {Attribute Grammar Evolution},
  author = {Marina de la Cruz and Alfonso Ortega de la Puente and Manuel Alfonseca},
  year = {2005},
  doi = {10.1007/11499305_19},
  url = {http://dx.doi.org/10.1007/11499305_19},
  tags = {attribute grammars, grammar},
  researchr = {https://researchr.org/publication/CruzPA05},
  cites = {0},
  citedby = {0},
  pages = {182-191},
  booktitle = {Artificial Intelligence and Knowledge Engineering Applications: A Bioinspired Approach: First International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2005, Las Palmas, Canary Islands, Spain, June 15-18, 2005, Proc},
  editor = {José Mira and José R. Álvarez},
  volume = {3562},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-26319-5},
}

@inproceedings{LammelS06,
  title = {Controllable Combinatorial Coverage in Grammar-Based Testing},
  author = {Ralf Lämmel and Wolfram Schulte},
  year = {2006},
  doi = {10.1007/11754008_2},
  url = {http://dx.doi.org/10.1007/11754008_2},
  tags = {rule-based, test coverage, meta-model, testing, data-flow, C++, Meta-Environment, coverage, systematic-approach, meta-objects, grammar},
  researchr = {https://researchr.org/publication/LammelS06},
  cites = {0},
  citedby = {0},
  pages = {19-38},
  booktitle = {Testing of Communicating Systems, 18th IFIP TC6/WG6.1 International Conference, TestCom 2006, New York, NY, USA, May 16-18, 2006, Proceedings},
  editor = {M. Ümit Uyar and Ali Y. Duale and Mariusz A. Fecko},
  volume = {3964},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-34184-6},
}

@inproceedings{Convergence2009,
  title = {An Introduction to Grammar Convergence},
  author = {Ralf Lämmel and Vadim Zaytsev},
  year = {2009},
  doi = {10.1007/978-3-642-00255-7_17},
  url = {http://dx.doi.org/10.1007/978-3-642-00255-7_17},
  tags = {model-to-model transformation, grammar transformation, meta-model, XML, modeling language, XML Schema, transformation language, language modeling, grammar convergence, source-to-source, object-role modeling, model transformation, Meta-Environment, parsing, meta-objects, transformation, grammar},
  researchr = {https://researchr.org/publication/Convergence2009},
  cites = {0},
  citedby = {0},
  pages = {246-260},
  booktitle = {Integrated Formal Methods, 7th International Conference, IFM 2009, Düsseldorf, Germany, February 16-19, 2009. Proceedings},
  editor = {Michael Leuschel and Heike Wehrheim},
  volume = {5423},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-00254-0},
}

@inproceedings{RusuBJ00,
  title = {An Approach to Symbolic Test Generation},
  author = {Vlad Rusu and Lydie du Bousquet and Thierry Jéron},
  year = {2000},
  url = {http://link.springer.de/link/service/series/0558/bibs/1945/19450338.htm},
  tags = {control systems, reactive programming, testing, programming, systematic-approach},
  researchr = {https://researchr.org/publication/RusuBJ00},
  cites = {0},
  citedby = {0},
  pages = {338-357},
  booktitle = {Integrated Formal Methods, Second International Conference, IFM 2000, Dagstuhl Castle, Germany, November 1-3, 2000, Proceedings},
  editor = {Wolfgang Grieskamp and Thomas Santen and Bill Stoddart},
  volume = {1945},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-41196-8},
}

@inproceedings{DanielDGM07,
  title = {Automated testing of refactoring engines},
  author = {Brett Daniel and Danny Dig and Kely Garcia and Darko Marinov},
  year = {2007},
  doi = {10.1145/1287624.1287651},
  url = {http://doi.acm.org/10.1145/1287624.1287651},
  tags = {model-to-model transformation, Java, Eclipse, meta programming, application framework, model checking, meta-model, abstract syntax, model refactoring, refactoring, testing model transformations, testing, source-to-source, code generation, metatheory, model transformation, Meta-Environment, design, open-source, transformation, program transformation},
  researchr = {https://researchr.org/publication/DanielDGM07},
  cites = {22},
  citedby = {0},
  pages = {185-194},
  booktitle = {Proceedings of the 6th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering},
  editor = {Ivica Crnkovic and Antonia Bertolino},
  publisher = {ACM},
  isbn = {978-1-59593-811-4},
}

@inproceedings{Visser07,
  title = {{WebDSL}: {A} Case Study in Domain-Specific Language Engineering},
  author = {Eelco Visser},
  year = {2007},
  doi = {10.1007/978-3-540-88643-3_7},
  url = {http://dx.doi.org/10.1007/978-3-540-88643-3_7},
  tags = {WebDSL, reusable components, DSL engineering, web application development, data-flow language, pattern language, case study, software components, SDF, meta-model, abstract syntax, modeling language, Stratego/XT, language engineering, software language engineering, language modeling, software component, web engineering, language design, reuse, model-driven development, data-flow, survey, software engineering, model-driven engineering, web applications, DSL, Meta-Environment, incremental, design, process modeling, systematic-approach, ASF+SDF, language, Stratego, domain-specific language},
  researchr = {https://researchr.org/publication/Visser07},
  cites = {0},
  citedby = {9},
  pages = {291-373},
  booktitle = {Generative and Transformational Techniques in Software Engineering II, International Summer School, {GTTSE} 2007},
  editor = {Ralf Lämmel and Joost Visser and João Saraiva},
  volume = {5235},
  series = {Lecture Notes in Computer Science},
  address = {Braga, Portugal},
  publisher = {Springer},
  isbn = {978-3-540-88642-6},
}

@article{HoffmanLSW11,
  title = {Grammar-based test generation with YouGen},
  author = {Daniel Hoffman and David Ly-Gagnon and Paul A. Strooper and Hong-Yi Wang},
  year = {2011},
  doi = {10.1002/spe.1017},
  url = {http://dx.doi.org/10.1002/spe.1017},
  tags = {rule-based, testing, grammar},
  researchr = {https://researchr.org/publication/HoffmanLSW11},
  cites = {0},
  citedby = {0},
  journal = {Software: Practice and Experience},
  volume = {41},
  number = {4},
  pages = {427-447},
}

@inproceedings{PalkaAST2011,
  title = {Testing an optimising compiler by generating random lambda terms},
  author = {Michal H. Palka and Koen Claessen and Russo, Alejandro and John Hughes},
  year = {2011},
  url = {http://dl.acm.org/citation.cfm?id=1982615},
  tags = {rule-based, testing, Haskell, data-flow programming, data-flow, rules, type checking, random testing, compiler},
  researchr = {https://researchr.org/publication/PalkaAST2011},
  cites = {0},
  citedby = {0},
  pages = {91-97},
  booktitle = {Proceedings of the 6th International Workshop on Automation of Software Test},
  series = {AST '11},
  address = {New York, NY, USA},
  publisher = {ACM},
  isbn = {978-1-4503-0592-1},
}

@article{Maurer90:1,
  title = {Generating Test Data with Enhanced Context-Free Grammars},
  author = {Peter M. Maurer},
  year = {1990},
  url = {http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=56422&tag=1},
  tags = {functional programming, testing, data-flow programming, debugging, context-aware, systematic-approach, grammar},
  researchr = {https://researchr.org/publication/Maurer90%3A1},
  cites = {0},
  citedby = {0},
  journal = {IEEE Software},
  volume = {7},
  number = {4},
  pages = {50-55},
}

@inproceedings{ClaessenH00,
  title = {{QuickCheck}: a lightweight tool for random testing of {Haskell} programs},
  author = {Koen Claessen and John Hughes},
  year = {2000},
  doi = {10.1145/351240.351266},
  url = {http://doi.acm.org/10.1145/351240.351266},
  tags = {test coverage, case study, functional programming, testing, Haskell, data-flow programming, data-flow, random testing, programming, coverage, QuickCheck},
  researchr = {https://researchr.org/publication/ClaessenH00},
  cites = {19},
  citedby = {0},
  pages = {268-279},
  booktitle = {ICFP},
}

@article{springerlink:10.1007-BF01932308,
  title = {A sentence generator for testing parsers},
  author = {Purdom, Paul},
  year = {1972},
  url = {http://dx.doi.org/10.1007/BF01932308},
  note = {10.1007/BF01932308},
  tags = {parsing algorithm, programming languages, testing, debugging, context-aware, parsing, grammar},
  researchr = {https://researchr.org/publication/springerlink%3A10.1007-BF01932308},
  cites = {0},
  citedby = {0},
  journal = {BIT Numerical Mathematics},
  volume = {12},
  pages = {366-375},
}

@article{ONeillR01,
  title = {Grammatical evolution},
  author = {Michael O Neill and Conor Ryan},
  year = {2001},
  url = {http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=942529&tag=1},
  tags = {programming languages, rule-based, completeness, rules, programming, genetic programming, grammar},
  researchr = {https://researchr.org/publication/ONeillR01},
  cites = {0},
  citedby = {0},
  journal = {IEEE Trans. Evolutionary Computation},
  volume = {5},
  number = {4},
  pages = {349-358},
}

@article{Leroy09,
  title = {Formal verification of a realistic compiler},
  author = {Xavier Leroy},
  year = {2009},
  doi = {10.1145/1538788.1538814},
  url = {http://doi.acm.org/10.1145/1538788.1538814},
  tags = {programming languages, semantics, semantic preservation, proof assistant, CompCert, program verification, formal semantics, type soundness, source-to-source, C++, compiler, programming, context-aware, open-source},
  researchr = {https://researchr.org/publication/Leroy09},
  cites = {0},
  citedby = {0},
  journal = {Communications of the ACM},
  volume = {52},
  number = {7},
  pages = {107-115},
}

@inproceedings{ZhangSBE11,
  title = {Combined static and dynamic automated test generation},
  author = {Sai Zhang and David Saff and Yingyi Bu and Michael D. Ernst},
  year = {2011},
  doi = {10.1145/2001420.2001463},
  url = {http://doi.acm.org/10.1145/2001420.2001463},
  tags = {object-oriented programming, rule-based, Java, program analysis, test coverage, meta programming, meta-model, points-to analysis, testing, analysis, static analysis, source-to-source, code generation, object-role modeling, random testing, information models, subject-oriented programming, Meta-Environment, Google, coverage, systematic-approach, feature-oriented programming, open-source, meta-objects},
  researchr = {https://researchr.org/publication/ZhangSBE11},
  cites = {0},
  citedby = {0},
  pages = {353-363},
  booktitle = {Proceedings of the 20th International Symposium on Software Testing and Analysis, ISSTA 2011, Toronto, ON, Canada, July 17-21, 2011},
  editor = {Matthew B. Dwyer and Frank Tip},
  publisher = {ACM},
  isbn = {978-1-4503-0562-4},
}

@inproceedings{DuncanH81,
  title = {Using Attributed Grammars to Test Designs and Implementations},
  author = {A. G. Duncan and J. S. Hutchison},
  year = {1981},
  url = {http://dl.acm.org/citation.cfm?id=802529},
  tags = {attribute grammars, translation, testing, random testing, systematic-approach, grammar},
  researchr = {https://researchr.org/publication/DuncanH81},
  cites = {0},
  citedby = {0},
  pages = {170-178},
  booktitle = {ICSE},
}

@inproceedings{Misherghi06,
  title = {HDD: hierarchical Delta Debugging},
  author = {Ghassan Misherghi and Zhendong Su},
  year = {2006},
  doi = {10.1145/1134307},
  url = {http://doi.acm.org/10.1145/1134307},
  tags = {debugging},
  researchr = {https://researchr.org/publication/Misherghi06},
  cites = {0},
  citedby = {0},
  pages = {142-151},
  booktitle = {28th International Conference on Software Engineering (ICSE 2006), Shanghai, China, May 20-28, 2006},
  editor = {Leon J. Osterweil and H. Dieter Rombach and Mary Lou Soffa},
  publisher = {ACM},
  isbn = {1-59593-375-1},
}

@inproceedings{EideR08,
  title = {Volatiles are miscompiled, and what to do about it},
  author = {Eric Eide and John Regehr},
  year = {2008},
  doi = {10.1145/1450058.1450093},
  url = {http://doi.acm.org/10.1145/1450058.1450093},
  tags = {model-to-model transformation, translation, operating system, embedded software, testing, source-to-source, C++, code generation, transformation system, random testing, compiler, model transformation, open-source, transformation, program transformation},
  researchr = {https://researchr.org/publication/EideR08},
  cites = {0},
  citedby = {0},
  pages = {255-264},
  booktitle = {Proceedings of the 8th ACM & IEEE International conference on Embedded software, EMSOFT 2008, Atlanta, GA, USA, October 19-24, 2008},
  editor = {Luca de Alfaro and Jens Palsberg},
  publisher = {ACM},
  isbn = {978-1-60558-468-3},
}

@article{BravenboerDOV06,
  title = {Program Transformation with Scoped Dynamic Rewrite Rules},
  author = {Martin  Bravenboer and Arthur van Dam and Karina Olmos and Eelco Visser},
  year = {2006},
  url = {https://content.iospress.com/articles/fundamenta-informaticae/fi69-1-2-06},
  tags = {programming languages, semantics, rule-based, formal semantics, graph transformation, dynamic rewrite rules, Stratego/XT, transformation language, term rewriting, language design, graph-rewriting, rules, operational semantics, context-aware, access control, rewriting, design, role-based access control, rewriting strategies, transformation, Stratego, program transformation},
  researchr = {https://researchr.org/publication/BravenboerDOV06},
  cites = {0},
  citedby = {4},
  journal = {Fundamenta Informaticae},
  volume = {69},
  number = {1-2},
  pages = {123-178},
}

@inproceedings{KannanY91,
  title = {Program Checkers for Probability Generation},
  author = {Sampath Kannan and Andrew Chi-Chih Yao},
  year = {1991},
  researchr = {https://researchr.org/publication/KannanY91},
  cites = {0},
  citedby = {0},
  pages = {163-173},
  booktitle = {Automata, Languages and Programming, 18th International Colloquium, ICALP91, Madrid, Spain, July 8-12, 1991, Proceedings},
  editor = {Javier Leach Albert and Burkhard Monien and Mario Rodríguez-Artalejo},
  volume = {510},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-54233-7},
}

@inproceedings{YangCER11,
  title = {Finding and understanding bugs in {C} compilers},
  author = {Xuejun Yang and Yang Chen and Eric Eide and John Regehr},
  year = {2011},
  doi = {10.1145/1993498.1993532},
  url = {http://doi.acm.org/10.1145/1993498.1993532},
  tags = {case study, testing, source-to-source, C++, code generation, random testing, compiler, open-source},
  researchr = {https://researchr.org/publication/YangCER11},
  cites = {0},
  citedby = {0},
  pages = {283-294},
  booktitle = {Proceedings of the 32nd ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2011, San Jose, CA, USA, June 4-8, 2011},
  editor = {Mary W. Hall and David A. Padua},
  publisher = {ACM},
  isbn = {978-1-4503-0663-8},
}

@inproceedings{LH01-FATES,
  title = {Test case characterisation by regular path expressions},
  author = {Ralf Lämmel and Jörg Harm},
  year = {2001},
  month = {august},
  url = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.24.4315},
  tags = {programming languages, rule-based, syntax definition, test coverage, data-flow language, generic programming, testing, data-flow programming, data-flow, graph-rewriting, coverage},
  researchr = {https://researchr.org/publication/LH01-FATES},
  cites = {0},
  citedby = {0},
  pages = {109-124},
  booktitle = {Proc.\ Formal Approaches to Testing of Software (FATES'01)},
  series = {Notes Series NS-01-4},
  publisher = {BRICS},
}

@article{Friedman69,
  title = {Directed random generation of sentences},
  author = {Joyce Friedman},
  year = {1969},
  doi = {10.1145/362835.362846},
  url = {http://doi.acm.org/10.1145/362835.362846},
  researchr = {https://researchr.org/publication/Friedman69},
  cites = {0},
  citedby = {0},
  journal = {Communications of the ACM},
  volume = {12},
  number = {1},
  pages = {40-46},
}

@inproceedings{HildebrandtZ00,
  title = {Simplifying failure-inducing input},
  author = {Ralf Hildebrandt and Andreas Zeller},
  year = {2000},
  doi = {10.1145/347324.348938},
  url = {http://doi.acm.org/10.1145/347324.348938},
  researchr = {https://researchr.org/publication/HildebrandtZ00},
  cites = {0},
  citedby = {0},
  pages = {135-145},
  booktitle = {ISSTA},
}

@inproceedings{ArcuriB11-0,
  title = {A practical guide for using statistical tests to assess randomized algorithms in software engineering},
  author = {Andrea Arcuri and Lionel C. Briand},
  year = {2011},
  doi = {10.1145/1985793.1985795},
  url = {http://doi.acm.org/10.1145/1985793.1985795},
  tags = {testing, software engineering, C++, random testing},
  researchr = {https://researchr.org/publication/ArcuriB11-0},
  cites = {0},
  citedby = {0},
  pages = {1-10},
  booktitle = {Proceedings of the 33rd International Conference on Software Engineering, ICSE 2011, Waikiki, Honolulu , HI, USA, May 21-28, 2011},
  editor = {Richard N. Taylor and Harald Gall and Nenad Medvidovic},
  publisher = {ACM},
  isbn = {978-1-4503-0445-0},
}

@article{MernikHS05,
  title = {When and how to develop domain-specific languages},
  author = {Marjan Mernik and Jan Heering and Anthony M. Sloane},
  year = {2005},
  doi = {10.1145/1118890.1118892},
  url = {http://doi.acm.org/10.1145/1118890.1118892},
  tags = {programming languages, DSL engineering, program analysis, pattern language, DSL implementation approach, dsl examples, language engineering, points-to analysis, domain analysis, analysis, language design, source-to-source, survey, DSL, programming, design, systematic-approach, open-source, domain-specific language},
  researchr = {https://researchr.org/publication/MernikHS05},
  cites = {154},
  citedby = {3},
  journal = {ACM Computing Surveys},
  volume = {37},
  number = {4},
  pages = {316-344},
}

@inproceedings{HemelKV08,
  title = {Code Generation by Model Transformation},
  author = {Zef  Hemel and Lennart C. L. Kats and Eelco Visser},
  year = {2008},
  doi = {10.1007/978-3-540-69927-9_13},
  url = {http://dx.doi.org/10.1007/978-3-540-69927-9_13},
  tags = {programming languages, model-to-model transformation, object-oriented programming, WebDSL, concrete object syntax, rule-based, transformation engineering, syntax definition, meta programming, data-flow language, pattern language, case study, graph transformation, meta-model, modeling language, modeling, language engineering, transformation language, software language engineering, language modeling, web engineering, data-flow programming, model-driven development, data-flow, source-to-source, graph-rewriting, software engineering, rules, model-driven engineering, C++, programming paradigms, code generation, object-role modeling, aspect oriented programming, model transformation, web applications, DSL, subject-oriented programming, Meta-Environment, rewriting, rewriting strategies, feature-oriented programming, concrete syntax, open-source, meta-objects, transformation, Stratego, program transformation, domain-specific language},
  researchr = {https://researchr.org/publication/HemelKV08},
  cites = {0},
  citedby = {3},
  pages = {183-198},
  booktitle = {Theory and Practice of Model Transformations, First International Conference, ICMT 2008, Zürich, Switzerland, July 1-2, 2008, Proceedings},
  editor = {Antonio Vallecillo and Jeffrey G. Gray and Alfonso Pierantonio},
  volume = {5063},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-69926-2},
}

@inproceedings{KatsVW10,
  title = {Pure and declarative syntax definition: paradise lost and regained},
  author = {Lennart C. L. Kats and Eelco Visser and Guido Wachsmuth},
  year = {2010},
  doi = {10.1145/1869459.1869535},
  url = {http://doi.acm.org/10.1145/1869459.1869535},
  tags = {parsing algorithm, syntax definition, composition, software evolution, C++, compiler, parsing},
  researchr = {https://researchr.org/publication/KatsVW10},
  cites = {0},
  citedby = {1},
  pages = {918-932},
  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},
}

@inproceedings{GodefroidKL08,
  title = {Grammar-based whitebox fuzzing},
  author = {Patrice Godefroid and Adam Kiezun and Michael Y. Levin},
  year = {2008},
  doi = {10.1145/1375581.1375607},
  url = {http://doi.acm.org/10.1145/1375581.1375607},
  tags = {parsing algorithm, JavaScript, rule-based, test coverage, interpreter, testing, constraints, code generation, security, compiler, parsing, coverage, grammar},
  researchr = {https://researchr.org/publication/GodefroidKL08},
  cites = {0},
  citedby = {0},
  pages = {206-215},
  booktitle = {Proceedings of the ACM SIGPLAN 2008 Conference on Programming Language Design and Implementation, Tucson, AZ, USA, June 7-13, 2008},
  editor = {Rajiv Gupta and Saman P. Amarasinghe},
  publisher = {ACM},
  isbn = {978-1-59593-860-2},
}

@article{McKeeman98,
  title = {Differential Testing for Software},
  author = {William M. McKeeman},
  year = {1998},
  url = {http://www.cs.dartmouth.edu/~mckeeman/references/DifferentialTestingForSoftware.pdf},
  tags = {testing},
  researchr = {https://researchr.org/publication/McKeeman98},
  cites = {0},
  citedby = {0},
  journal = {Digital Technical Journal},
  volume = {10},
  number = {1},
  pages = {100-107},
}

@inproceedings{Lammel01,
  title = {Grammar Testing},
  author = {Ralf Lämmel},
  year = {2001},
  url = {http://link.springer.de/link/service/series/0558/bibs/2029/20290201.htm},
  tags = {rule-based, transformation engineering, test coverage, language engineering, transformation language, software language engineering, testing, analysis, software engineering, rules, context-aware, coverage, transformation, grammar},
  researchr = {https://researchr.org/publication/Lammel01},
  cites = {0},
  citedby = {0},
  pages = {201-216},
  booktitle = {Fundamental Approaches to Software Engineering, FASE 2001 },
  editor = {Heinrich Hußmann},
  volume = {2029},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-41863-6},
}

@article{DeursenK98,
  title = {Little languages: little maintenance?},
  author = {Arie  van Deursen and Paul  Klint},
  year = {1998},
  doi = {10.1002/(SICI)1096-908X(199803/04)10:2<75::AID-SMR168>3.0.CO;2-5},
  url = {http://dx.doi.org/10.1002/(SICI)1096-908X(199803/04)10:2<75::AID-SMR168>3.0.CO;2-5},
  tags = {rule-based, little language, maintenance, compiler, DSL, domain-specific language},
  researchr = {https://researchr.org/publication/DeursenK98},
  cites = {0},
  citedby = {1},
  journal = {Journal of Software Maintenance},
  volume = {10},
  number = {2},
  pages = {75-92},
}

@inproceedings{Just:2010:AST:1808266.1808280,
  title = {Automating software tests with partial oracles in integrated environments},
  author = {René Just and Franz Schweiggert},
  year = {2010},
  doi = {10.1145/1808266.1808280},
  url = {http://doi.acm.org/10.1145/1808266.1808280},
  tags = {meta-model, Meta-Environment},
  researchr = {https://researchr.org/publication/Just%3A2010%3AAST%3A1808266.1808280},
  cites = {0},
  citedby = {0},
  pages = {91-94},
  booktitle = {Proceedings of the 5th Workshop on Automation of Software Test},
  series = {AST '10},
  address = {New York, NY, USA},
  publisher = {ACM},
  isbn = {978-1-60558-970-1},
}

@inproceedings{SirerB99,
  title = {Using production grammars in software testing},
  author = {Emin Gün Sirer and Brian N. Bershad},
  year = {1999},
  doi = {10.1145/331960.331965},
  url = {http://doi.acm.org/10.1145/331960.331965},
  tags = {rule-based, Java, deployment, test coverage, modeling language, language modeling, testing, certification, code generation, security, DSL, abstract machine, coverage, extensible language, grammar, domain-specific language},
  researchr = {https://researchr.org/publication/SirerB99},
  cites = {0},
  citedby = {1},
  pages = {1-13},
  booktitle = {DSL},
}

@inproceedings{ClarkDH10,
  title = {Semantic Mutation Testing},
  author = {John A. Clark and Haitao Dan and Robert M. Hierons},
  year = {2010},
  doi = {10.1109/ICSTW.2010.8},
  url = {http://dx.doi.org/10.1109/ICSTW.2010.8},
  tags = {testing},
  researchr = {https://researchr.org/publication/ClarkDH10},
  cites = {0},
  citedby = {0},
  pages = {100-109},
  booktitle = {Third International Conference on Software Testing, Verification and Validation, ICST 2010, Paris, France, April 7-9, 2010, Workshops Proceedings},
  publisher = {IEEE Computer Society},
}

@inproceedings{KatsV10,
  title = {The {Spoofax} language workbench: rules for declarative specification of languages and {IDEs}},
  author = {Lennart C. L. Kats and Eelco Visser},
  year = {2010},
  doi = {10.1145/1869459.1869497},
  url = {https://doi.org/10.1145/1869459.1869497},
  tags = {programming languages, model-to-model transformation, workbench, semantics, rule-based, Eclipse, meta programming, model editor, graph transformation, meta-model, transformation language, architecture, reuse, model-driven development, graph-rewriting, rules, C++, code completion, code generation, model transformation, programming, language workbench, Spoofax, Meta-Environment, rewriting, parsing, meta-objects, transformation, program transformation, domain-specific language},
  researchr = {https://researchr.org/publication/KatsV10},
  cites = {0},
  citedby = {2},
  pages = {444-463},
  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},
}

@article{Hanford70,
  title = {Automatic Generation of Test Cases},
  author = {Kenneth V. Hanford},
  year = {1970},
  url = {http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=5388302&tag=1},
  tags = {programming languages, syntax definition, testing, reliability},
  researchr = {https://researchr.org/publication/Hanford70},
  cites = {0},
  citedby = {0},
  journal = {IBM Systems Journal},
  volume = {9},
  number = {4},
  pages = {242-257},
}

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

@inproceedings{Hughes09-2,
  title = {Software Testing with QuickCheck},
  author = {John Hughes},
  year = {2009},
  doi = {10.1007/978-3-642-17685-2_6},
  url = {http://dx.doi.org/10.1007/978-3-642-17685-2_6},
  tags = {rule-based, meta-model, testing, type system, data-flow, Meta-Environment, state machines, abstract machine, QuickCheck, systematic-approach},
  researchr = {https://researchr.org/publication/Hughes09-2},
  cites = {0},
  citedby = {0},
  pages = {183-223},
  booktitle = {Central European Functional Programming School - Third Summer School, CEFP 2009, Budapest, Hungary, May 21-23, 2009 and Komárno, Slovakia, May 25-30, 2009, Revised Selected Lectures},
  editor = {Zoltán Horváth and Rinus Plasmeijer and Viktória Zsók},
  volume = {6299},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-17684-5},
}

@article{Regehr:2012:TRC:2345156.2254104,
  title = {Test-case reduction for C compiler bugs},
  author = {John Regehr and Chen, Yang and Cuoq, Pascal and Eide, Eric and Ellison, Chucky and Yang, Xuejun},
  year = {2012},
  month = {jun},
  doi = {10.1145/2345156.2254104},
  url = {http://doi.acm.org/10.1145/2345156.2254104},
  tags = {rule-based, generic programming, testing, debugging, compiler, Pascal, systematic-approach, transformation, program transformation},
  researchr = {https://researchr.org/publication/Regehr%3A2012%3ATRC%3A2345156.2254104},
  cites = {0},
  citedby = {0},
  journal = {SIGPLAN Notices},
  volume = {47},
  number = {6},
  pages = {335-346},
}

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