@inproceedings{Schulte00,
  title = {Why Doesn t Anyone Use Formal Methods?},
  author = {Wolfram Schulte},
  year = {2000},
  url = {http://link.springer.de/link/service/series/0558/bibs/1945/19450297.htm},
  researchr = {https://researchr.org/publication/Schulte00},
  cites = {0},
  citedby = {0},
  pages = {297-298},
  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{VullinghsSS96,
  title = {The Design of a Functional GUI Library Using Constructor Classes},
  author = {Ton Vullinghs and Wolfram Schulte and Thilo Schwinn},
  year = {1996},
  tags = {design},
  researchr = {https://researchr.org/publication/VullinghsSS96},
  cites = {0},
  citedby = {0},
  pages = {398-408},
  booktitle = {Perspectives of System Informatics, Second International Andrei Ershov Memorial Conference, Akademgorodok, Novosibirsk, Russia, June 25-28, 1996, Proceedings},
  editor = {Dines Bjørner and Manfred Broy and Igor V. Pottosin},
  volume = {1181},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-62064-8},
}

@inproceedings{Schulte95,
  title = {Erfahrungen bei der Gestaltung eines Software-Grundpraktikums},
  author = {Wolfram Schulte},
  year = {1995},
  researchr = {https://researchr.org/publication/Schulte95},
  cites = {0},
  citedby = {0},
  pages = {100-108},
  booktitle = {Software Engineering im Unterricht der Hochschulen SEUH  95, Workshop des German Chapter of the ACM und der Gesellschaft für Informatik (GI) am 23. und 24. Februar 1995 in Bremen},
  editor = {Andreas Spillner 0002 and Ulrich Breymann},
  volume = {44},
  series = {Berichte des German Chapter of the ACM},
  publisher = {Teubner},
  isbn = {3-519-02685-6},
}

@article{BarnettDFLS04,
  title = {Verification of Object-Oriented Programs with Invariants},
  author = {Michael Barnett and Robert DeLine and Manuel Fähndrich and K. Rustan M. Leino and Wolfram Schulte},
  year = {2004},
  url = {http://www.jot.fm/issues/issue_2004_06/article2/article2.pdf},
  tags = {object-oriented programming, meta programming, program verification, subject-oriented programming, Meta-Environment, feature-oriented programming, meta-objects},
  researchr = {https://researchr.org/publication/BarnettDFLS04},
  cites = {0},
  citedby = {0},
  journal = {Journal of Object Technology},
  volume = {3},
  number = {6},
  pages = {27-56},
}

@article{BorgerS00:1,
  title = {Initialization problems for Java},
  author = {Egon Börger and Wolfram Schulte},
  year = {2000},
  url = {http://link.springer.de/link/service/journals/00378/bibs/0019004/00190175.htm},
  tags = {Java},
  researchr = {https://researchr.org/publication/BorgerS00%3A1},
  cites = {0},
  citedby = {0},
  journal = {Software - Concepts and Tools},
  volume = {19},
  number = {4},
  pages = {175-178},
}

@inproceedings{BarnettBGSV00,
  title = {Using Abstract State Machines at Microsoft: A Case Study},
  author = {Michael Barnett and Egon Börger and Yuri Gurevich and Wolfram Schulte and Margus Veanes},
  year = {2000},
  url = {http://link.springer.de/link/service/series/0558/bibs/1912/19120367.htm},
  tags = {case study, state machines, abstract machine},
  researchr = {https://researchr.org/publication/BarnettBGSV00},
  cites = {0},
  citedby = {0},
  pages = {367-379},
  booktitle = {Abstract State Machines, Theory and Applications, International Workshop, ASM 2000, Monte Verità, Switzerland, March 19-24, 2000, Proceedings},
  editor = {Yuri Gurevich and Philipp W. Kutter and Martin Odersky and Lothar Thiele},
  volume = {1912},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-67959-6},
}

@inproceedings{VeanesCST05,
  title = {Online testing with model programs},
  author = {Margus Veanes and Colin Campbell and Wolfram Schulte and Nikolai Tillmann},
  year = {2005},
  doi = {10.1145/1081706.1081751},
  url = {http://doi.acm.org/10.1145/1081706.1081751},
  tags = {meta programming, meta-model, testing, Meta-Environment},
  researchr = {https://researchr.org/publication/VeanesCST05},
  cites = {0},
  citedby = {0},
  pages = {273-282},
  booktitle = {Proceedings of the 10th European Software Engineering Conference held jointly with 13th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2005, Lisbon, Portugal, September 5-9, 2005},
  editor = {Michel Wermelinger and Harald Gall},
  publisher = {ACM},
  isbn = {1-59593-014-0},
}

@inproceedings{GrieskampLST01,
  title = {Testable Use Cases in the Abstract State Machine Language},
  author = {Wolfgang Grieskamp and Markus Lepper and Wolfram Schulte and Nikolai Tillmann},
  year = {2001},
  doi = {10.1109/APAQS.2001.990016},
  url = {http://doi.ieeecomputersociety.org/10.1109/APAQS.2001.990016},
  tags = {testing, state machines, abstract machine},
  researchr = {https://researchr.org/publication/GrieskampLST01},
  cites = {0},
  citedby = {0},
  pages = {167-172},
  booktitle = {2nd Asia-Pacific Conference on Quality Software (APAQS 2001), 10-11 December 2001, Hong Kong, China, Proceedings},
  publisher = {IEEE Computer Society},
  isbn = {0-7695-1287-9},
}

@inproceedings{GrieskampTCSV05,
  title = {Action Machines - Towards a Framework for Model Composition, Exploration and Conformance Testing Based on Symbolic Computation},
  author = {Wolfgang Grieskamp and Nikolai Tillmann and Colin Campbell and Wolfram Schulte and Margus Veanes},
  year = {2005},
  doi = {10.1109/QSIC.2005.10},
  url = {http://doi.ieeecomputersociety.org/10.1109/QSIC.2005.10},
  tags = {rule-based, composition, testing},
  researchr = {https://researchr.org/publication/GrieskampTCSV05},
  cites = {0},
  citedby = {0},
  pages = {72-82},
  booktitle = {2005 NASA / DoD Conference on Evolvable Hardware (EH 2005), 29 June - 1 July 2005, Washington, DC, USA},
  publisher = {IEEE Computer Society},
  isbn = {0-7695-2399-4},
}

@inproceedings{DahlweidMSTS09,
  title = {VCC: Contract-based modular verification of concurrent C},
  author = {Markus Dahlweid and Michal Moskal and Thomas Santen and Stephan Tobies and Wolfram Schulte},
  year = {2009},
  doi = {10.1109/ICSE-COMPANION.2009.5071046},
  url = {http://dx.doi.org/10.1109/ICSE-COMPANION.2009.5071046},
  tags = {rule-based, contracts, C++},
  researchr = {https://researchr.org/publication/DahlweidMSTS09},
  cites = {0},
  citedby = {0},
  pages = {429-430},
  booktitle = {31st International Conference on Software Engineering, ICSE 2009, May 16-24, 2009, Vancouver, Canada, Companion Volume},
  publisher = {IEEE},
  isbn = {978-1-4244-3494-7},
}

@inproceedings{VeanesCGSTN08,
  title = {Model-Based Testing of Object-Oriented Reactive Systems with Spec Explorer},
  author = {Margus Veanes and Colin Campbell and Wolfgang Grieskamp and Wolfram Schulte and Nikolai Tillmann and Lev Nachmanson},
  year = {2008},
  doi = {10.1007/978-3-540-78917-8_2},
  url = {http://dx.doi.org/10.1007/978-3-540-78917-8_2},
  tags = {rule-based, testing, object-role modeling},
  researchr = {https://researchr.org/publication/VeanesCGSTN08},
  cites = {0},
  citedby = {0},
  pages = {39-76},
  booktitle = {Formal Methods and Testing, An Outcome of the FORTEST Network, Revised Selected Papers},
  editor = {Robert M. Hierons and Jonathan P. Bowen and Mark Harman},
  volume = {4949},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-78916-1},
}

@inproceedings{AchatzS97:0,
  title = {A Formal OO Method Inspired by Fusion and Object-Z},
  author = {Klaus Achatz and Wolfram Schulte},
  year = {1997},
  tags = {meta-model, Meta-Environment, meta-objects},
  researchr = {https://researchr.org/publication/AchatzS97%3A0},
  cites = {0},
  citedby = {0},
  pages = {92-111},
  booktitle = {ZUM  97: The Z Formal Specification Notation, 10th International Conference of Z Users, Reading, UK, April 3-4, 1997, Proceedings},
  editor = {Jonathan P. Bowen and Michael G. Hinchey and David Till},
  volume = {1212},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-62717-0},
}

@inproceedings{Schulte07a,
  title = {Experiments in Verifying Low Level Concurrent C Code},
  author = {Wolfram Schulte},
  year = {2007},
  doi = {10.1109/ICECCS.2007.22},
  url = {http://doi.ieeecomputersociety.org/10.1109/ICECCS.2007.22},
  tags = {C++},
  researchr = {https://researchr.org/publication/Schulte07a},
  cites = {0},
  citedby = {0},
  pages = {299},
  booktitle = {12th International Conference on Engineering of Complex Computer Systems (ICECCS 2007), 10-14 July 2007, Auckland, New Zealand},
  publisher = {IEEE Computer Society},
  isbn = {978-0-7695-2895-3},
}

@inproceedings{TanejaXTHS09,
  title = {Guided path exploration for regression test generation},
  author = {Kunal Taneja and Tao Xie and Nikolai Tillmann and Jonathan de Halleux and Wolfram Schulte},
  year = {2009},
  doi = {10.1109/ICSE-COMPANION.2009.5071009},
  url = {http://dx.doi.org/10.1109/ICSE-COMPANION.2009.5071009},
  tags = {testing},
  researchr = {https://researchr.org/publication/TanejaXTHS09},
  cites = {0},
  citedby = {0},
  pages = {311-314},
  booktitle = {31st International Conference on Software Engineering, ICSE 2009, May 16-24, 2009, Vancouver, Canada, Companion Volume},
  publisher = {IEEE},
  isbn = {978-1-4244-3494-7},
}

@article{BarnettS01,
  title = {The ABCs of specification: asml, behavior, and components},
  author = {Michael Barnett and Wolfram Schulte},
  year = {2001},
  researchr = {https://researchr.org/publication/BarnettS01},
  cites = {0},
  citedby = {0},
  journal = {Informatica (Slovenia)},
  volume = {25},
  number = {4},
}

@inproceedings{XieMSN05,
  title = {Symstra: A Framework for Generating Object-Oriented Unit Tests Using Symbolic Execution},
  author = {Tao Xie and Darko Marinov and Wolfram Schulte and David Notkin},
  year = {2005},
  url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3440&spage=365},
  tags = {testing},
  researchr = {https://researchr.org/publication/XieMSN05},
  cites = {0},
  citedby = {0},
  pages = {365-381},
  booktitle = {Tools and Algorithms for the Construction and Analysis of Systems, 11th International Conference, TACAS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005, Proceedings},
  editor = {Nicolas Halbwachs and Lenore D. Zuck},
  volume = {3440},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-25333-5},
}

@inproceedings{JacobsSPS06,
  title = {A Statically Verifiable Programming Model for Concurrent Object-Oriented Programs},
  author = {Bart Jacobs 0002 and Jan Smans and Frank Piessens and Wolfram Schulte},
  year = {2006},
  doi = {10.1007/11901433_23},
  url = {http://dx.doi.org/10.1007/11901433_23},
  tags = {object-oriented programming, object-role modeling, programming, subject-oriented programming, feature-oriented programming},
  researchr = {https://researchr.org/publication/JacobsSPS06},
  cites = {0},
  citedby = {0},
  pages = {420-439},
  booktitle = {Formal Methods and Software Engineering, 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006, Proceedings},
  editor = {Zhiming Liu and Jifeng He},
  volume = {4260},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-47460-9},
}

@inproceedings{SchulteG91,
  title = {Generating Efficient Portable Code for a Strict Applicative Language},
  author = {Wolfram Schulte and Wolfgang Grieskamp},
  year = {1991},
  researchr = {https://researchr.org/publication/SchulteG91},
  cites = {0},
  citedby = {0},
  pages = {239-252},
  booktitle = {Declarative Programming, Sasbachwalden 1991, PHOENIX Seminar and Workshop on Declarative Programming, Sasbachwalden, Black Forest, Germany, 18-22 November 1991},
  editor = {John Darlington and Roland Dietrich},
  series = {Workshops in Computing},
  publisher = {Springer},
  isbn = {3-540-19735-4},
}

@inproceedings{CampbellGNSTV05,
  title = {Testing Concurrent Object-Oriented Systems with Spec Explorer},
  author = {Colin Campbell and Wolfgang Grieskamp and Lev Nachmanson and Wolfram Schulte and Nikolai Tillmann and Margus Veanes},
  year = {2005},
  doi = {10.1007/11526841_38},
  url = {http://dx.doi.org/10.1007/11526841_38},
  tags = {meta-model, testing, Meta-Environment, meta-objects},
  researchr = {https://researchr.org/publication/CampbellGNSTV05},
  cites = {0},
  citedby = {0},
  pages = {542-547},
  booktitle = {FM 2005: Formal Methods, International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005, Proceedings},
  editor = {John Fitzgerald and Ian J. Hayes and Andrzej Tarlecki},
  volume = {3582},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-27882-6},
}

@inproceedings{GrieskampGSV02,
  title = {Generating finite state machines from abstract state machines},
  author = {Wolfgang Grieskamp and Yuri Gurevich and Wolfram Schulte and Margus Veanes},
  year = {2002},
  doi = {10.1145/566172.566190},
  url = {http://doi.acm.org/10.1145/566172.566190},
  tags = {state machines, abstract machine},
  researchr = {https://researchr.org/publication/GrieskampGSV02},
  cites = {0},
  citedby = {0},
  pages = {112-122},
  booktitle = {ISSTA},
}

@inproceedings{BarnettST03,
  title = {Using AsmL for Runtime Verification},
  author = {Michael Barnett and Wolfram Schulte and Nikolai Tillmann},
  year = {2003},
  url = {http://link.springer.de/link/service/series/0558/bibs/2589/25890407.htm},
  researchr = {https://researchr.org/publication/BarnettST03},
  cites = {0},
  citedby = {0},
  pages = {407},
  booktitle = {Abstract State Machines, Advances in Theory and Practice, 10th International Workshop, ASM 2003, Taormina, Italy, March 3-7, 2003, Proceedings},
  editor = {Egon Börger and Angelo Gargantini and Elvinia Riccobene},
  volume = {2589},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-00624-9},
}

@inproceedings{SchulteA97,
  title = {Functional Object-Oriented Programming with Object-Gofer},
  author = {Wolfram Schulte and Klaus Achatz},
  year = {1997},
  tags = {object-oriented programming, meta programming, functional programming, programming, subject-oriented programming, Meta-Environment, feature-oriented programming, meta-objects},
  researchr = {https://researchr.org/publication/SchulteA97},
  cites = {0},
  citedby = {0},
  pages = {552-561},
  booktitle = {GI Jahrestagung},
}

@inproceedings{VeanesS08:0,
  title = {Protocol Modeling with Model Program Composition},
  author = {Margus Veanes and Wolfram Schulte},
  year = {2008},
  doi = {10.1007/978-3-540-68855-6_21},
  url = {http://dx.doi.org/10.1007/978-3-540-68855-6_21},
  tags = {meta programming, meta-model, modeling, protocol, composition, Meta-Environment},
  researchr = {https://researchr.org/publication/VeanesS08%3A0},
  cites = {0},
  citedby = {0},
  pages = {324-339},
  booktitle = {Formal Techniques for Networked and Distributed Systems - FORTE 2008, 28th IFIP WG 6.1 International Conference, Tokyo, Japan, June 10-13, 2008, Proceedings},
  editor = {Kenji Suzuki and Teruo Higashino and Keiichi Yasumoto and Khaled El-Fakih},
  volume = {5048},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-68854-9},
}

@inproceedings{GurevichRS03,
  title = {Semantic Essence of AsmL},
  author = {Yuri Gurevich and Benjamin Rossman and Wolfram Schulte},
  year = {2003},
  url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3188&spage=240},
  researchr = {https://researchr.org/publication/GurevichRS03},
  cites = {0},
  citedby = {0},
  pages = {240-259},
  booktitle = {Formal Methods for Components and Objects, Second International Symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003, Revised Lectures},
  editor = {Frank S. de Boer and Marcello M. Bonsangue and Susanne Graf and Willem P. de Roever},
  volume = {3188},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-22942-6},
}

@inproceedings{Schulte03,
  title = {Parallelism versus Nondeterminism - On the Semantics of Abstract State Machines},
  author = {Wolfram Schulte},
  year = {2003},
  url = {http://link.springer.de/link/service/series/0558/bibs/2589/25890425.htm},
  tags = {semantics, state machines, abstract machine},
  researchr = {https://researchr.org/publication/Schulte03},
  cites = {0},
  citedby = {0},
  pages = {425},
  booktitle = {Abstract State Machines, Advances in Theory and Practice, 10th International Workshop, ASM 2003, Taormina, Italy, March 3-7, 2003, Proceedings},
  editor = {Egon Börger and Angelo Gargantini and Elvinia Riccobene},
  volume = {2589},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-00624-9},
}

@article{AchatzS97,
  title = {Formale objektorientierte Softwareentwicklung mit Fox},
  author = {Klaus Achatz and Wolfram Schulte},
  year = {1997},
  researchr = {https://researchr.org/publication/AchatzS97},
  cites = {0},
  citedby = {0},
  journal = {Inform., Forsch. Entwickl.},
  volume = {12},
  number = {4},
  pages = {174-185},
}

@inproceedings{BarnettGSTV03,
  title = {Validating Use-Cases with the AsmL Test Tool},
  author = {Michael Barnett and Wolfgang Grieskamp and Wolfram Schulte and Nikolai Tillmann and Margus Veanes},
  year = {2003},
  url = {http://csdl.computer.org/comp/proceedings/qsic/2003/2015/00/20150238abs.htm},
  tags = {testing},
  researchr = {https://researchr.org/publication/BarnettGSTV03},
  cites = {0},
  citedby = {0},
  pages = {238-246},
  booktitle = {3rd  International Conference on Quality Software (QSIC 2003), 6-7 November 2003, Dallas, TX, USA},
  publisher = {IEEE Computer Society},
  isbn = {0-7695-2015-4},
}

@inproceedings{JacksonS08:0,
  title = {Compositional Modeling for Data-Centric Business Applications},
  author = {Ethan K. Jackson and Wolfram Schulte},
  year = {2008},
  doi = {10.1007/978-3-540-78789-1_15},
  url = {http://dx.doi.org/10.1007/978-3-540-78789-1_15},
  tags = {modeling, composition, data-flow},
  researchr = {https://researchr.org/publication/JacksonS08%3A0},
  cites = {0},
  citedby = {0},
  pages = {190-205},
  booktitle = {Software Composition, 7th International Symposium, SC 2008, Budapest, Hungary, March 29-30, 2008. Proceedings},
  editor = {Cesare Pautasso and Éric Tanter},
  volume = {4954},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-78788-4},
}

@article{GodefroidHNRSTL08,
  title = {Automating Software Testing Using Program Analysis},
  author = {Patrice Godefroid and Jonathan de Halleux and Aditya V. Nori and Sriram K. Rajamani and Wolfram Schulte and Nikolai Tillmann and Michael Y. Levin},
  year = {2008},
  doi = {10.1109/MS.2008.109},
  url = {http://dx.doi.org/10.1109/MS.2008.109},
  tags = {program analysis, testing, analysis},
  researchr = {https://researchr.org/publication/GodefroidHNRSTL08},
  cites = {0},
  citedby = {0},
  journal = {IEEE Software},
  volume = {25},
  number = {5},
  pages = {30-37},
}

@inproceedings{JacobsPLS05,
  title = {Safe Concurrency for Aggregate Objects with Invariants},
  author = {Bart Jacobs 0002 and Frank Piessens and K. Rustan M. Leino and Wolfram Schulte},
  year = {2005},
  doi = {10.1109/SEFM.2005.39},
  url = {http://doi.ieeecomputersociety.org/10.1109/SEFM.2005.39},
  tags = {meta-model, Meta-Environment, meta-objects},
  researchr = {https://researchr.org/publication/JacobsPLS05},
  cites = {0},
  citedby = {0},
  pages = {137-147},
  booktitle = {Third IEEE International Conference on Software Engineering and Formal Methods (SEFM 2005), 7-9 September 2005, Koblenz, Germany},
  editor = {Bernhard K. Aichernig and Bernhard Beckert},
  publisher = {IEEE Computer Society},
  isbn = {0-7695-2435-4},
}

@article{BorgerS00,
  title = {A Practical Method for Specification and Analysis of Exception Handling - A Java/JVM Case Study},
  author = {Egon Börger and Wolfram Schulte},
  year = {2000},
  url = {http://www.computer.org:80/tse/ts2000/e0872abs.htm},
  tags = {Java, case study, exceptions, analysis},
  researchr = {https://researchr.org/publication/BorgerS00},
  cites = {0},
  citedby = {0},
  journal = {IEEE Trans. Software Eng.},
  volume = {26},
  number = {9},
  pages = {872-887},
}

@inproceedings{GurevichSW00,
  title = {Investigating Java Concurrency Using Abstract State Machines},
  author = {Yuri Gurevich and Wolfram Schulte and Charles Wallace},
  year = {2000},
  url = {http://link.springer.de/link/service/series/0558/bibs/1912/19120151.htm},
  tags = {Java, state machines, abstract machine},
  researchr = {https://researchr.org/publication/GurevichSW00},
  cites = {0},
  citedby = {0},
  pages = {151-176},
  booktitle = {Abstract State Machines, Theory and Applications, International Workshop, ASM 2000, Monte Verità, Switzerland, March 19-24, 2000, Proceedings},
  editor = {Yuri Gurevich and Philipp W. Kutter and Martin Odersky and Lothar Thiele},
  volume = {1912},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-67959-6},
}

@inproceedings{TillmannS05,
  title = {Parameterized unit tests with unit meister},
  author = {Nikolai Tillmann and Wolfram Schulte},
  year = {2005},
  doi = {10.1145/1081706.1081745},
  url = {http://doi.acm.org/10.1145/1081706.1081745},
  tags = {testing},
  researchr = {https://researchr.org/publication/TillmannS05},
  cites = {0},
  citedby = {0},
  pages = {241-244},
  booktitle = {Proceedings of the 10th European Software Engineering Conference held jointly with 13th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2005, Lisbon, Portugal, September 5-9, 2005},
  editor = {Michel Wermelinger and Harald Gall},
  publisher = {ACM},
  isbn = {1-59593-014-0},
}

@inproceedings{MarinovS08,
  title = {Workshop on state-space exploration for automated testing (SSEAT 2008)},
  author = {Darko Marinov and Wolfram Schulte},
  year = {2008},
  doi = {10.1145/1390630.1390672},
  url = {http://doi.acm.org/10.1145/1390630.1390672},
  tags = {testing},
  researchr = {https://researchr.org/publication/MarinovS08},
  cites = {0},
  citedby = {0},
  pages = {315-316},
  booktitle = {Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2008, Seattle, WA, USA, July 20-24, 2008},
  editor = {Barbara G. Ryder and Andreas Zeller},
  publisher = {ACM},
  isbn = {978-1-60558-050-0},
}

@article{GuttmannPSV03,
  title = {Tool Support for the Interactive Derivation of Formally Correct Functional Programs},
  author = {Walter Guttmann and Helmuth Partsch and Wolfram Schulte and Ton Vullinghs},
  year = {2003},
  url = {http://www.jucs.org/jucs_9_2/tool_support_for_the},
  tags = {functional programming},
  researchr = {https://researchr.org/publication/GuttmannPSV03},
  cites = {0},
  citedby = {0},
  journal = {J. UCS},
  volume = {9},
  number = {2},
  pages = {173},
}

@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{VullinghsTS95,
  title = {Lightweight GUIs for Functional Programming},
  author = {Ton Vullinghs and Daniel Tuinman and Wolfram Schulte},
  year = {1995},
  tags = {functional programming, programming},
  researchr = {https://researchr.org/publication/VullinghsTS95},
  cites = {0},
  citedby = {0},
  pages = {341-356},
  booktitle = {Programming Languages: Implementations, Logics and Programs, 7th International Symposium, PLILP 95, Utrecht, The Netherlands, September 20-22, 1995, Proceedings},
  editor = {Manuel V. Hermenegildo and S. Doaitse Swierstra},
  volume = {982},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-60359-X},
}

@inproceedings{TillmannS06,
  title = {Mock-object generation with behavior},
  author = {Nikolai Tillmann and Wolfram Schulte},
  year = {2006},
  doi = {10.1109/ASE.2006.51},
  url = {http://doi.ieeecomputersociety.org/10.1109/ASE.2006.51},
  tags = {meta-model, Meta-Environment, meta-objects},
  researchr = {https://researchr.org/publication/TillmannS06},
  cites = {0},
  citedby = {0},
  pages = {365-368},
  booktitle = {21st IEEE/ACM International Conference on Automated Software Engineering (ASE 2006), 18-22 September 2006, Tokyo, Japan},
  publisher = {IEEE Computer Society},
  isbn = {0-7695-2579-2},
}

@inproceedings{Schulte06:0,
  title = {Challenge problems in software testing},
  author = {Wolfram Schulte},
  year = {2006},
  doi = {10.1145/1188895.1188897},
  url = {http://doi.acm.org/10.1145/1188895.1188897},
  tags = {testing},
  researchr = {https://researchr.org/publication/Schulte06%3A0},
  cites = {0},
  citedby = {0},
  pages = {1},
  booktitle = {Third International Workshop on Software Quality Assurance, SOQUA 2006, Portland, Oregon, USA, November 6, 2006},
  editor = {Johannes Mayer and Neelam Gupta and Yves Ledru},
  publisher = {ACM},
  isbn = {1-59593-584-3},
}

@inproceedings{SchulteSV96,
  title = {TkGofer: A Functional GUI Library},
  author = {Wolfram Schulte and Thilo Schwinn and Ton Vullinghs},
  year = {1996},
  researchr = {https://researchr.org/publication/SchulteSV96},
  cites = {0},
  citedby = {0},
  pages = {621-624},
  booktitle = {Algebraic Methodology and Software Technology, 5th International Conference, AMAST  96, Munich, Germany, July 1-5, 1996, Proceedings},
  editor = {Martin Wirsing and Maurice Nivat},
  volume = {1101},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-61463-X},
}

@inproceedings{SmansJPS08,
  title = {An Automatic Verifier for Java-Like Programs Based on Dynamic Frames},
  author = {Jan Smans and Bart Jacobs 0002 and Frank Piessens and Wolfram Schulte},
  year = {2008},
  doi = {10.1007/978-3-540-78743-3_19},
  url = {http://dx.doi.org/10.1007/978-3-540-78743-3_19},
  tags = {rule-based, Java, program verification},
  researchr = {https://researchr.org/publication/SmansJPS08},
  cites = {0},
  citedby = {0},
  pages = {261-275},
  booktitle = {Fundamental Approaches to Software Engineering, 11th International Conference, FASE 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings},
  editor = {José Luiz Fiadeiro and Paola Inverardi},
  volume = {4961},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-78742-6},
}

@inproceedings{AchatzS95,
  title = {Architecture Independent Massive Parallelization of Divide-and-Conquer Algorithms},
  author = {Klaus Achatz and Wolfram Schulte},
  year = {1995},
  tags = {architecture},
  researchr = {https://researchr.org/publication/AchatzS95},
  cites = {0},
  citedby = {0},
  pages = {97-127},
  booktitle = {Mathematics of Program Construction, MPC 95, Kloster Irsee, Germany, July 17-21, 1995, Proceedings},
  editor = {Bernhard Möller},
  volume = {947},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-60117-1},
}

@inproceedings{VanoverbergheBHST08,
  title = {Using Dynamic Symbolic Execution to Improve Deductive Verification},
  author = {Dries Vanoverberghe and Nikolaj Bjørner and Jonathan de Halleux and Wolfram Schulte and Nikolai Tillmann},
  year = {2008},
  doi = {10.1007/978-3-540-85114-1_4},
  url = {http://dx.doi.org/10.1007/978-3-540-85114-1_4},
  researchr = {https://researchr.org/publication/VanoverbergheBHST08},
  cites = {0},
  citedby = {0},
  pages = {9-25},
  booktitle = {Model Checking Software, 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008, Proceedings},
  editor = {Klaus Havelund and Rupak Majumdar and Jens Palsberg},
  volume = {5156},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-85113-4},
}

@inproceedings{TillmannCS06,
  title = {Discovering Likely Method Specifications},
  author = {Nikolai Tillmann and Feng Chen and Wolfram Schulte},
  year = {2006},
  doi = {10.1007/11901433_39},
  url = {http://dx.doi.org/10.1007/11901433_39},
  researchr = {https://researchr.org/publication/TillmannCS06},
  cites = {0},
  citedby = {0},
  pages = {717-736},
  booktitle = {Formal Methods and Software Engineering, 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006, Proceedings},
  editor = {Zhiming Liu and Jifeng He},
  volume = {4260},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-47460-9},
}

@inproceedings{Meijer2003,
  title = {Programming with rectangles, triangles, and circles},
  author = {Erik Meijer and Wolfram Schulte},
  year = {2003},
  month = {December},
  tags = {programming languages, object-oriented programming, rule-based, Java, XQuery, translation, meta programming, data-flow language, meta-model, XML, modeling language, XML Schema, graph query, SQL, language modeling, XPath, type system, data-flow programming, data-flow, graph-rewriting, C++, object-role modeling, programming, subject-oriented programming, Meta-Environment, rewriting, systematic-approach, feature-oriented programming, meta-objects, query language},
  researchr = {https://researchr.org/publication/Meijer2003},
  cites = {23},
  citedby = {1},
  booktitle = {Proceedings of XML Conference & Exposition 2003 (XML 2003)},
  organization = {IDEAlliance},
}

@article{JacobsSPS07,
  title = {A Simple Sequential Reasoning Approach for Sound Modular Verification of Mainstream Multithreaded Programs},
  author = {Bart Jacobs 0002 and Jan Smans and Frank Piessens and Wolfram Schulte},
  year = {2007},
  doi = {10.1016/j.entcs.2007.04.005},
  url = {http://dx.doi.org/10.1016/j.entcs.2007.04.005},
  tags = {program verification, systematic-approach},
  researchr = {https://researchr.org/publication/JacobsSPS07},
  cites = {0},
  citedby = {0},
  journal = {Electronic Notes in Theoretical Computer Science},
  volume = {174},
  number = {9},
  pages = {23-47},
}

@inproceedings{Schulte94,
  title = {Deriving Residual Reference Count Garbage Collectors},
  author = {Wolfram Schulte},
  year = {1994},
  researchr = {https://researchr.org/publication/Schulte94},
  cites = {0},
  citedby = {0},
  pages = {102-116},
  booktitle = {Programming Language Implementation and Logic Programming, 6th International Symposium, PLILP 94, Madrid, Spain, September 14-16, 1994, Proceedings},
  editor = {Manuel V. Hermenegildo and Jaan Penjam},
  volume = {844},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-58402-1},
}

@inproceedings{TillmannS05a,
  title = {Parameterized unit tests},
  author = {Nikolai Tillmann and Wolfram Schulte},
  year = {2005},
  doi = {10.1145/1081706.1081749},
  url = {http://doi.acm.org/10.1145/1081706.1081749},
  tags = {testing},
  researchr = {https://researchr.org/publication/TillmannS05a},
  cites = {0},
  citedby = {0},
  pages = {253-262},
  booktitle = {Proceedings of the 10th European Software Engineering Conference held jointly with 13th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2005, Lisbon, Portugal, September 5-9, 2005},
  editor = {Michel Wermelinger and Harald Gall},
  publisher = {ACM},
  isbn = {1-59593-014-0},
}

@inproceedings{Schulte00:0,
  title = {Translating Theory into Practice - Abstract State Machines within Microsoft},
  author = {Wolfram Schulte},
  year = {2000},
  url = {http://link.springer.de/link/service/series/0558/bibs/1862/18620071.htm},
  tags = {translation, state machines, abstract machine},
  researchr = {https://researchr.org/publication/Schulte00%3A0},
  cites = {0},
  citedby = {0},
  pages = {71},
  booktitle = {Computer Science Logic, 14th Annual Conference of the EACSL, Fischbachau, Germany, August 21-26, 2000, Proceedings},
  editor = {Peter Clote and Helmut Schwichtenberg},
  volume = {1862},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-67895-6},
}

@article{BarnettS03,
  title = {Runtime verification of .NET contracts},
  author = {Michael Barnett and Wolfram Schulte},
  year = {2003},
  doi = {10.1016/S0164-1212(02)00041-9},
  url = {http://dx.doi.org/10.1016/S0164-1212(02)00041-9},
  tags = {contracts},
  researchr = {https://researchr.org/publication/BarnettS03},
  cites = {0},
  citedby = {0},
  journal = {Journal of Systems and Software},
  volume = {65},
  number = {3},
  pages = {199-208},
}

@inproceedings{BarnettDFJLSV05,
  title = {The Spec# Programming System: Challenges and Directions},
  author = {Michael Barnett and Robert DeLine and Manuel Fähndrich and Bart Jacobs 0002 and K. Rustan M. Leino and Wolfram Schulte and Herman Venter},
  year = {2005},
  doi = {10.1007/978-3-540-69149-5_16},
  url = {http://dx.doi.org/10.1007/978-3-540-69149-5_16},
  tags = {programming},
  researchr = {https://researchr.org/publication/BarnettDFJLSV05},
  cites = {0},
  citedby = {0},
  pages = {144-152},
  booktitle = {Verified Software: Theories, Tools, Experiments, First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions},
  editor = {Bertrand Meyer and Jim Woodcock},
  volume = {4171},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-69147-1},
}

@inproceedings{LeinoS07,
  title = {Using History Invariants to Verify Observers},
  author = {K. Rustan M. Leino and Wolfram Schulte},
  year = {2007},
  doi = {10.1007/978-3-540-71316-6_7},
  url = {http://dx.doi.org/10.1007/978-3-540-71316-6_7},
  tags = {history},
  researchr = {https://researchr.org/publication/LeinoS07},
  cites = {0},
  citedby = {0},
  pages = {80-94},
  booktitle = {Programming Languages and Systems, 16th European Symposium on Programming, ESOP 2007, Held as Part of the Joint European Conferences on Theory and Practics of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007, Proceedings},
  editor = {Rocco De Nicola},
  volume = {4421},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-71314-2},
}

@inproceedings{NachmansonVSTG04,
  title = {Optimal strategies for testing nondeterministic systems},
  author = {Lev Nachmanson and Margus Veanes and Wolfram Schulte and Nikolai Tillmann and Wolfgang Grieskamp},
  year = {2004},
  doi = {10.1145/1007512.1007520},
  url = {http://doi.acm.org/10.1145/1007512.1007520},
  tags = {testing},
  researchr = {https://researchr.org/publication/NachmansonVSTG04},
  cites = {0},
  citedby = {0},
  pages = {55-64},
  booktitle = {Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2004, Boston, Massachusetts, USA, July 11-14, 2004},
  editor = {George S. Avrunin and Gregg Rothermel},
  publisher = {ACM},
  isbn = {1-58113-820-2},
}

@inproceedings{BiermanMS05,
  title = {The Essence of Data Access in C::::omega::::},
  author = {Gavin M. Bierman and Erik Meijer and Wolfram Schulte},
  year = {2005},
  doi = {10.1007/11531142_13},
  url = {http://dx.doi.org/10.1007/11531142_13},
  tags = {data-flow, C++},
  researchr = {https://researchr.org/publication/BiermanMS05},
  cites = {0},
  citedby = {1},
  pages = {287-311},
  booktitle = {ECOOP 2005 - Object-Oriented Programming, 19th European Conference, Glasgow, UK, July 25-29, 2005, Proceedings},
  editor = {Andrew P. Black},
  volume = {3586},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-27992-X},
}

@inproceedings{BorgerS99,
  title = {A Programmer Friendly Modular Definition of the Semantics of Java},
  author = {Egon Börger and Wolfram Schulte},
  year = {1999},
  url = {http://link.springer.de/link/service/series/0558/bibs/1523/15230353.htm},
  tags = {semantics, Java},
  researchr = {https://researchr.org/publication/BorgerS99},
  cites = {0},
  citedby = {0},
  pages = {353-404},
  booktitle = {Formal Syntax and Semantics of Java},
  editor = {Jim Alves-Foss},
  volume = {1523},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-66158-1},
}

@article{AchatzS96,
  title = {Massive Parallelization of Divide-and-Conquer Algorithms over Powerlists},
  author = {Klaus Achatz and Wolfram Schulte},
  year = {1996},
  researchr = {https://researchr.org/publication/AchatzS96},
  cites = {0},
  citedby = {0},
  journal = {Science of Computer Programming},
  volume = {26},
  number = {1-3},
  pages = {59-78},
}

@article{TillmannS06:0,
  title = {Unit Tests Reloaded: Parameterized Unit Testing with Symbolic Execution},
  author = {Nikolai Tillmann and Wolfram Schulte},
  year = {2006},
  doi = {10.1109/MS.2006.117},
  url = {http://doi.ieeecomputersociety.org/10.1109/MS.2006.117},
  tags = {testing},
  researchr = {https://researchr.org/publication/TillmannS06%3A0},
  cites = {0},
  citedby = {0},
  journal = {IEEE Software},
  volume = {23},
  number = {4},
  pages = {38-47},
}

@inproceedings{JacksonS08,
  title = {Model Generation for Horn Logic with Stratified Negation},
  author = {Ethan K. Jackson and Wolfram Schulte},
  year = {2008},
  doi = {10.1007/978-3-540-68855-6_1},
  url = {http://dx.doi.org/10.1007/978-3-540-68855-6_1},
  tags = {logic},
  researchr = {https://researchr.org/publication/JacksonS08},
  cites = {0},
  citedby = {0},
  pages = {1-20},
  booktitle = {Formal Techniques for Networked and Distributed Systems - FORTE 2008, 28th IFIP WG 6.1 International Conference, Tokyo, Japan, June 10-13, 2008, Proceedings},
  editor = {Kenji Suzuki and Teruo Higashino and Keiichi Yasumoto and Khaled El-Fakih},
  volume = {5048},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-68854-9},
}

@inproceedings{LeinoS04,
  title = {Exception Safety for C#},
  author = {K. Rustan M. Leino and Wolfram Schulte},
  year = {2004},
  doi = {10.1109/SEFM.2004.14},
  url = {http://doi.ieeecomputersociety.org/10.1109/SEFM.2004.14},
  tags = {exceptions, C++},
  researchr = {https://researchr.org/publication/LeinoS04},
  cites = {0},
  citedby = {0},
  pages = {218-227},
  booktitle = {2nd International Conference on Software Engineering and Formal Methods (SEFM 2004), 28-30 September 2004, Beijing, China},
  publisher = {IEEE Computer Society},
  isbn = {0-7695-2222-X},
}

@inproceedings{BarnettNSS06,
  title = {Allowing State Changes in Specifications},
  author = {Michael Barnett and David A. Naumann and Wolfram Schulte and Qi Sun},
  year = {2006},
  doi = {10.1007/11766155_23},
  url = {http://dx.doi.org/10.1007/11766155_23},
  researchr = {https://researchr.org/publication/BarnettNSS06},
  cites = {0},
  citedby = {0},
  pages = {321-336},
  booktitle = {Emerging Trends in Information and Communication Security, International Conference, ETRICS 2006, Freiburg, Germany, June 6-9, 2006, Proceedings},
  editor = {Günter Müller},
  volume = {3995},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-34640-6},
}

@inproceedings{BarnettGNSTV03,
  title = {Towards a Tool Environment for Model-Based Testing with AsmL},
  author = {Michael Barnett and Wolfgang Grieskamp and Lev Nachmanson and Wolfram Schulte and Nikolai Tillmann and Margus Veanes},
  year = {2003},
  url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2931&spage=252},
  tags = {rule-based, meta-model, testing, Meta-Environment, meta-objects},
  researchr = {https://researchr.org/publication/BarnettGNSTV03},
  cites = {0},
  citedby = {0},
  pages = {252-266},
  booktitle = {Formal Approaches to Software Testing, Third International Workshop on Formal Approaches to Testing of Software, FATES 2003, Montreal, Quebec, Canada, October 6th, 2003},
  editor = {Alexandre Petrenko and Andreas Ulrich},
  volume = {2931},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-20894-1},
}

@inproceedings{BorgerS98,
  title = {Defining the Java Virtual Machine as Platform for Provably Correct Java Compilation},
  author = {Egon Börger and Wolfram Schulte},
  year = {1998},
  url = {http://link.springer.de/link/service/series/0558/bibs/1450/14500017.htm},
  tags = {Java},
  researchr = {https://researchr.org/publication/BorgerS98},
  cites = {0},
  citedby = {0},
  pages = {17-35},
  booktitle = {Mathematical Foundations of Computer Science 1998, 23rd International Symposium, MFCS 98, Brno, Czech Republic, August 24-28, 1998, Proceedings},
  editor = {Lubos Brim and Jozef Gruska and Jirí Zlatuska},
  volume = {1450},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-64827-5},
}

@inproceedings{RosenzweigRS05,
  title = {Model-Based Testing of Cryptographic Protocols},
  author = {Dean Rosenzweig and Davor Runje and Wolfram Schulte},
  year = {2005},
  doi = {10.1007/11580850_4},
  url = {http://dx.doi.org/10.1007/11580850_4},
  tags = {rule-based, protocol, testing},
  researchr = {https://researchr.org/publication/RosenzweigRS05},
  cites = {0},
  citedby = {0},
  pages = {33-60},
  booktitle = {Trustworthy Global Computing, International Symposium, TGC 2005, Edinburgh, UK, April 7-9, 2005, Revised Selected Papers},
  editor = {Rocco De Nicola and Davide Sangiorgi},
  volume = {3705},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-30007-4},
}

@inproceedings{MausMS08,
  title = {Vx86: x86 Assembler Simulated in C Powered by Automated Theorem Proving},
  author = {Stefan Maus and Michal Moskal and Wolfram Schulte},
  year = {2008},
  doi = {10.1007/978-3-540-79980-1_22},
  url = {http://dx.doi.org/10.1007/978-3-540-79980-1_22},
  tags = {C++},
  researchr = {https://researchr.org/publication/MausMS08},
  cites = {0},
  citedby = {0},
  pages = {284-298},
  booktitle = {Algebraic Methodology and Software Technology, 12th International Conference, AMAST 2008, Urbana, IL, USA, July 28-31, 2008, Proceedings},
  editor = {José Meseguer and Grigore Rosu},
  volume = {5140},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-79979-5},
}

@article{GrieskampTS06,
  title = {XRT- Exploring Runtime for .NET Architecture and Applications},
  author = {Wolfgang Grieskamp and Nikolai Tillmann and Wolfram Schulte},
  year = {2006},
  doi = {10.1016/j.entcs.2006.01.002},
  url = {http://dx.doi.org/10.1016/j.entcs.2006.01.002},
  tags = {architecture},
  researchr = {https://researchr.org/publication/GrieskampTS06},
  cites = {0},
  citedby = {0},
  journal = {Electronic Notes in Theoretical Computer Science},
  volume = {144},
  number = {3},
  pages = {3-26},
}

@article{GurevichRS05,
  title = {Semantic essence of AsmL},
  author = {Yuri Gurevich and Benjamin Rossman and Wolfram Schulte},
  year = {2005},
  doi = {10.1016/j.tcs.2005.06.017},
  url = {http://dx.doi.org/10.1016/j.tcs.2005.06.017},
  researchr = {https://researchr.org/publication/GurevichRS05},
  cites = {0},
  citedby = {0},
  journal = {Theoretical Computer Science},
  volume = {343},
  number = {3},
  pages = {370-412},
}

@article{JacobsPSLS08,
  title = {A programming model for concurrent object-oriented programs},
  author = {Bart Jacobs 0002 and Frank Piessens and Jan Smans and K. Rustan M. Leino and Wolfram Schulte},
  year = {2008},
  doi = {10.1145/1452044.1452045},
  url = {http://doi.acm.org/10.1145/1452044.1452045},
  tags = {object-oriented programming, meta programming, meta-model, object-role modeling, programming, subject-oriented programming, Meta-Environment, feature-oriented programming, meta-objects},
  researchr = {https://researchr.org/publication/JacobsPSLS08},
  cites = {0},
  citedby = {0},
  journal = {ACM Transactions on Programming Languages and Systems},
  volume = {31},
  number = {1},
}

@inproceedings{VeanesCS07,
  title = {Composition of Model Programs},
  author = {Margus Veanes and Colin Campbell and Wolfram Schulte},
  year = {2007},
  doi = {10.1007/978-3-540-73196-2_9},
  url = {http://dx.doi.org/10.1007/978-3-540-73196-2_9},
  tags = {meta programming, meta-model, composition, Meta-Environment},
  researchr = {https://researchr.org/publication/VeanesCS07},
  cites = {0},
  citedby = {0},
  pages = {128-142},
  booktitle = {Formal Techniques for Networked and Distributed Systems - FORTE 2007, 27th IFIP WG 6.1 International Conference, Tallinn, Estonia, June 27-29, 2007, Proceedings},
  editor = {John Derrick and Jüri Vain},
  volume = {4574},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-73195-5},
}

@inproceedings{Schulte07:0,
  title = {Pex - An Intelligent Assistant for Rigorous Developer Testing},
  author = {Wolfram Schulte},
  year = {2007},
  doi = {10.1109/ICECCS.2007.35},
  url = {http://doi.ieeecomputersociety.org/10.1109/ICECCS.2007.35},
  tags = {testing},
  researchr = {https://researchr.org/publication/Schulte07%3A0},
  cites = {0},
  citedby = {0},
  pages = {161},
  booktitle = {12th International Conference on Engineering of Complex Computer Systems (ICECCS 2007), 10-14 July 2007, Auckland, New Zealand},
  publisher = {IEEE Computer Society},
  isbn = {978-0-7695-2895-3},
}
@proceedings{icfem:2004,
  title = {Formal Methods and Software Engineering, 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004, Proceedings},
  year = {2004},
  tags = {software engineering},
  researchr = {https://researchr.org/publication/icfem%3A2004},
  cites = {0},
  citedby = {0},
  booktitle = {Formal Methods and Software Engineering, 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004, Proceedings},
  conference = {icfem},
  editor = {Jim Davies and Wolfram Schulte and Michael Barnett},
  volume = {3308},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-23841-7},
}