publications:
- title: "Why Doesn t Anyone Use Formal Methods?"
  author:
  - name: "Wolfram Schulte"
    link: "http://research.microsoft.com/en-us/people/schulte/"
  year: "2000"
  doi: "http://link.springer.de/link/service/series/0558/bibs/1945/19450297.htm"
  links:
    doi: "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:
  - name: "Wolfgang Grieskamp"
    link: "https://researchr.org/alias/wolfgang-grieskamp"
  - name: "Thomas Santen"
    link: "https://researchr.org/alias/thomas-santen"
  - name: "Bill Stoddart"
    link: "https://researchr.org/alias/bill-stoddart"
  volume: "1945"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-41196-8"
  kind: "inproceedings"
  key: "Schulte00"
- title: "The Design of a Functional GUI Library Using Constructor Classes"
  author:
  - name: "Ton Vullinghs"
    link: "https://researchr.org/alias/ton-vullinghs"
  - name: "Wolfram Schulte"
    link: "http://research.microsoft.com/en-us/people/schulte/"
  - name: "Thilo Schwinn"
    link: "https://researchr.org/alias/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:
  - name: "Dines Bjørner"
    link: "https://researchr.org/alias/dines-bj%C3%B8rner"
  - name: "Manfred Broy"
    link: "https://researchr.org/alias/manfred-broy"
  - name: "Igor V. Pottosin"
    link: "https://researchr.org/alias/igor-v.-pottosin"
  volume: "1181"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-62064-8"
  kind: "inproceedings"
  key: "VullinghsSS96"
- title: "Erfahrungen bei der Gestaltung eines Software-Grundpraktikums"
  author:
  - name: "Wolfram Schulte"
    link: "http://research.microsoft.com/en-us/people/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:
  - name: "Andreas Spillner 0002"
    link: "https://researchr.org/alias/andreas-spillner-0002"
  - name: "Ulrich Breymann"
    link: "https://researchr.org/alias/ulrich-breymann"
  volume: "44"
  series: "Berichte des German Chapter of the ACM"
  publisher: "Teubner"
  isbn: "3-519-02685-6"
  kind: "inproceedings"
  key: "Schulte95"
- title: "Verification of Object-Oriented Programs with Invariants"
  author:
  - name: "Michael Barnett"
    link: "https://researchr.org/alias/michael-barnett"
  - name: "Robert DeLine"
    link: "https://researchr.org/alias/robert-deline"
  - name: "Manuel Fähndrich"
    link: "https://researchr.org/alias/manuel-f%C3%A4hndrich"
  - name: "K. Rustan M. Leino"
    link: "https://researchr.org/alias/k.-rustan-m.-leino"
  - name: "Wolfram Schulte"
    link: "http://research.microsoft.com/en-us/people/schulte/"
  year: "2004"
  doi: "http://www.jot.fm/issues/issue_2004_06/article2/article2.pdf"
  links:
    doi: "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"
  kind: "article"
  key: "BarnettDFLS04"
- title: "Initialization problems for Java"
  author:
  - name: "Egon Börger"
    link: "http://www.di.unipi.it/~boerger/"
  - name: "Wolfram Schulte"
    link: "http://research.microsoft.com/en-us/people/schulte/"
  year: "2000"
  doi: "http://link.springer.de/link/service/journals/00378/bibs/0019004/00190175.htm"
  links:
    doi: "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"
  kind: "article"
  key: "BorgerS00:1"
- title: "Using Abstract State Machines at Microsoft: A Case Study"
  author:
  - name: "Michael Barnett"
    link: "https://researchr.org/alias/michael-barnett"
  - name: "Egon Börger"
    link: "http://www.di.unipi.it/~boerger/"
  - name: "Yuri Gurevich"
    link: "http://research.microsoft.com/en-us/um/people/gurevich/"
  - name: "Wolfram Schulte"
    link: "http://research.microsoft.com/en-us/people/schulte/"
  - name: "Margus Veanes"
    link: "https://researchr.org/alias/margus-veanes"
  year: "2000"
  doi: "http://link.springer.de/link/service/series/0558/bibs/1912/19120367.htm"
  links:
    doi: "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:
  - name: "Yuri Gurevich"
    link: "https://researchr.org/alias/yuri-gurevich"
  - name: "Philipp W. Kutter"
    link: "https://researchr.org/alias/philipp-w.-kutter"
  - name: "Martin Odersky"
    link: "http://lampwww.epfl.ch/~odersky/"
  - name: "Lothar Thiele"
    link: "https://researchr.org/alias/lothar-thiele"
  volume: "1912"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-67959-6"
  kind: "inproceedings"
  key: "BarnettBGSV00"
- title: "Online testing with model programs"
  author:
  - name: "Margus Veanes"
    link: "https://researchr.org/alias/margus-veanes"
  - name: "Colin Campbell"
    link: "https://researchr.org/alias/colin-campbell"
  - name: "Wolfram Schulte"
    link: "http://research.microsoft.com/en-us/people/schulte/"
  - name: "Nikolai Tillmann"
    link: "https://researchr.org/alias/nikolai-tillmann"
  year: "2005"
  doi: "http://doi.acm.org/10.1145/1081706.1081751"
  links:
    doi: "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:
  - name: "Michel Wermelinger"
    link: "https://researchr.org/alias/michel-wermelinger"
  - name: "Harald Gall"
    link: "https://researchr.org/alias/harald-gall"
  publisher: "ACM"
  isbn: "1-59593-014-0"
  kind: "inproceedings"
  key: "VeanesCST05"
- title: "Testable Use Cases in the Abstract State Machine Language"
  author:
  - name: "Wolfgang Grieskamp"
    link: "https://researchr.org/alias/wolfgang-grieskamp"
  - name: "Markus Lepper"
    link: "https://researchr.org/alias/markus-lepper"
  - name: "Wolfram Schulte"
    link: "http://research.microsoft.com/en-us/people/schulte/"
  - name: "Nikolai Tillmann"
    link: "https://researchr.org/alias/nikolai-tillmann"
  year: "2001"
  doi: "http://doi.ieeecomputersociety.org/10.1109/APAQS.2001.990016"
  links:
    doi: "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"
  kind: "inproceedings"
  key: "GrieskampLST01"
- title: "Action Machines - Towards a Framework for Model Composition, Exploration and Conformance Testing Based on Symbolic Computation"
  author:
  - name: "Wolfgang Grieskamp"
    link: "https://researchr.org/alias/wolfgang-grieskamp"
  - name: "Nikolai Tillmann"
    link: "https://researchr.org/alias/nikolai-tillmann"
  - name: "Colin Campbell"
    link: "https://researchr.org/alias/colin-campbell"
  - name: "Wolfram Schulte"
    link: "http://research.microsoft.com/en-us/people/schulte/"
  - name: "Margus Veanes"
    link: "https://researchr.org/alias/margus-veanes"
  year: "2005"
  doi: "http://doi.ieeecomputersociety.org/10.1109/QSIC.2005.10"
  links:
    doi: "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"
  kind: "inproceedings"
  key: "GrieskampTCSV05"
- title: "VCC: Contract-based modular verification of concurrent C"
  author:
  - name: "Markus Dahlweid"
    link: "https://researchr.org/alias/markus-dahlweid"
  - name: "Michal Moskal"
    link: "https://researchr.org/alias/michal-moskal"
  - name: "Thomas Santen"
    link: "https://researchr.org/alias/thomas-santen"
  - name: "Stephan Tobies"
    link: "https://researchr.org/alias/stephan-tobies"
  - name: "Wolfram Schulte"
    link: "http://research.microsoft.com/en-us/people/schulte/"
  year: "2009"
  doi: "http://dx.doi.org/10.1109/ICSE-COMPANION.2009.5071046"
  links:
    doi: "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"
  kind: "inproceedings"
  key: "DahlweidMSTS09"
- title: "Model-Based Testing of Object-Oriented Reactive Systems with Spec Explorer"
  author:
  - name: "Margus Veanes"
    link: "https://researchr.org/alias/margus-veanes"
  - name: "Colin Campbell"
    link: "https://researchr.org/alias/colin-campbell"
  - name: "Wolfgang Grieskamp"
    link: "https://researchr.org/alias/wolfgang-grieskamp"
  - name: "Wolfram Schulte"
    link: "http://research.microsoft.com/en-us/people/schulte/"
  - name: "Nikolai Tillmann"
    link: "https://researchr.org/alias/nikolai-tillmann"
  - name: "Lev Nachmanson"
    link: "https://researchr.org/alias/lev-nachmanson"
  year: "2008"
  doi: "http://dx.doi.org/10.1007/978-3-540-78917-8_2"
  links:
    doi: "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:
  - name: "Robert M. Hierons"
    link: "https://researchr.org/alias/robert-m.-hierons"
  - name: "Jonathan P. Bowen"
    link: "http://www.jpbowen.com"
  - name: "Mark Harman"
    link: "https://researchr.org/alias/mark-harman"
  volume: "4949"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-540-78916-1"
  kind: "inproceedings"
  key: "VeanesCGSTN08"
- title: "A Formal OO Method Inspired by Fusion and Object-Z"
  author:
  - name: "Klaus Achatz"
    link: "https://researchr.org/alias/klaus-achatz"
  - name: "Wolfram Schulte"
    link: "http://research.microsoft.com/en-us/people/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:
  - name: "Jonathan P. Bowen"
    link: "http://www.jpbowen.com"
  - name: "Michael G. Hinchey"
    link: "https://researchr.org/alias/michael-g.-hinchey"
  - name: "David Till"
    link: "https://researchr.org/alias/david-till"
  volume: "1212"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-62717-0"
  kind: "inproceedings"
  key: "AchatzS97:0"
- title: "Experiments in Verifying Low Level Concurrent C Code"
  author:
  - name: "Wolfram Schulte"
    link: "http://research.microsoft.com/en-us/people/schulte/"
  year: "2007"
  doi: "http://doi.ieeecomputersociety.org/10.1109/ICECCS.2007.22"
  links:
    doi: "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"
  kind: "inproceedings"
  key: "Schulte07a"
- title: "Guided path exploration for regression test generation"
  author:
  - name: "Kunal Taneja"
    link: "https://researchr.org/alias/kunal-taneja"
  - name: "Tao Xie"
    link: "https://researchr.org/alias/tao-xie"
  - name: "Nikolai Tillmann"
    link: "https://researchr.org/alias/nikolai-tillmann"
  - name: "Jonathan de Halleux"
    link: "https://researchr.org/alias/jonathan-de-halleux"
  - name: "Wolfram Schulte"
    link: "http://research.microsoft.com/en-us/people/schulte/"
  year: "2009"
  doi: "http://dx.doi.org/10.1109/ICSE-COMPANION.2009.5071009"
  links:
    doi: "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"
  kind: "inproceedings"
  key: "TanejaXTHS09"
- title: "The ABCs of specification: asml, behavior, and components"
  author:
  - name: "Michael Barnett"
    link: "https://researchr.org/alias/michael-barnett"
  - name: "Wolfram Schulte"
    link: "http://research.microsoft.com/en-us/people/schulte/"
  year: "2001"
  researchr: "https://researchr.org/publication/BarnettS01"
  cites: 0
  citedby: 0
  journal: "Informatica (Slovenia)"
  volume: "25"
  number: "4"
  kind: "article"
  key: "BarnettS01"
- title: "Symstra: A Framework for Generating Object-Oriented Unit Tests Using Symbolic Execution"
  author:
  - name: "Tao Xie"
    link: "https://researchr.org/alias/tao-xie"
  - name: "Darko Marinov"
    link: "https://researchr.org/alias/darko-marinov"
  - name: "Wolfram Schulte"
    link: "http://research.microsoft.com/en-us/people/schulte/"
  - name: "David Notkin"
    link: "https://researchr.org/alias/david-notkin"
  year: "2005"
  doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3440&spage=365"
  links:
    doi: "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:
  - name: "Nicolas Halbwachs"
    link: "https://researchr.org/alias/nicolas-halbwachs"
  - name: "Lenore D. Zuck"
    link: "https://researchr.org/alias/lenore-d.-zuck"
  volume: "3440"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-25333-5"
  kind: "inproceedings"
  key: "XieMSN05"
- title: "A Statically Verifiable Programming Model for Concurrent Object-Oriented Programs"
  author:
  - name: "Bart Jacobs 0002"
    link: "https://researchr.org/alias/bart-jacobs-0002"
  - name: "Jan Smans"
    link: "https://researchr.org/alias/jan-smans"
  - name: "Frank Piessens"
    link: "https://researchr.org/alias/frank-piessens"
  - name: "Wolfram Schulte"
    link: "http://research.microsoft.com/en-us/people/schulte/"
  year: "2006"
  doi: "http://dx.doi.org/10.1007/11901433_23"
  links:
    doi: "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:
  - name: "Zhiming Liu"
    link: "https://researchr.org/alias/zhiming-liu"
  - name: "Jifeng He"
    link: "https://researchr.org/alias/jifeng-he"
  volume: "4260"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-47460-9"
  kind: "inproceedings"
  key: "JacobsSPS06"
- title: "Generating Efficient Portable Code for a Strict Applicative Language"
  author:
  - name: "Wolfram Schulte"
    link: "http://research.microsoft.com/en-us/people/schulte/"
  - name: "Wolfgang Grieskamp"
    link: "https://researchr.org/alias/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:
  - name: "John Darlington"
    link: "https://researchr.org/alias/john-darlington"
  - name: "Roland Dietrich"
    link: "https://researchr.org/alias/roland-dietrich"
  series: "Workshops in Computing"
  publisher: "Springer"
  isbn: "3-540-19735-4"
  kind: "inproceedings"
  key: "SchulteG91"
- title: "Testing Concurrent Object-Oriented Systems with Spec Explorer"
  author:
  - name: "Colin Campbell"
    link: "https://researchr.org/alias/colin-campbell"
  - name: "Wolfgang Grieskamp"
    link: "https://researchr.org/alias/wolfgang-grieskamp"
  - name: "Lev Nachmanson"
    link: "https://researchr.org/alias/lev-nachmanson"
  - name: "Wolfram Schulte"
    link: "http://research.microsoft.com/en-us/people/schulte/"
  - name: "Nikolai Tillmann"
    link: "https://researchr.org/alias/nikolai-tillmann"
  - name: "Margus Veanes"
    link: "https://researchr.org/alias/margus-veanes"
  year: "2005"
  doi: "http://dx.doi.org/10.1007/11526841_38"
  links:
    doi: "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:
  - name: "John Fitzgerald"
    link: "https://researchr.org/alias/john-fitzgerald"
  - name: "Ian J. Hayes"
    link: "https://researchr.org/alias/ian-j.-hayes"
  - name: "Andrzej Tarlecki"
    link: "https://researchr.org/alias/andrzej-tarlecki"
  volume: "3582"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-27882-6"
  kind: "inproceedings"
  key: "CampbellGNSTV05"
- title: "Generating finite state machines from abstract state machines"
  author:
  - name: "Wolfgang Grieskamp"
    link: "https://researchr.org/alias/wolfgang-grieskamp"
  - name: "Yuri Gurevich"
    link: "http://research.microsoft.com/en-us/um/people/gurevich/"
  - name: "Wolfram Schulte"
    link: "http://research.microsoft.com/en-us/people/schulte/"
  - name: "Margus Veanes"
    link: "https://researchr.org/alias/margus-veanes"
  year: "2002"
  doi: "http://doi.acm.org/10.1145/566172.566190"
  links:
    doi: "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"
  kind: "inproceedings"
  key: "GrieskampGSV02"
- title: "Using AsmL for Runtime Verification"
  author:
  - name: "Michael Barnett"
    link: "https://researchr.org/alias/michael-barnett"
  - name: "Wolfram Schulte"
    link: "http://research.microsoft.com/en-us/people/schulte/"
  - name: "Nikolai Tillmann"
    link: "https://researchr.org/alias/nikolai-tillmann"
  year: "2003"
  doi: "http://link.springer.de/link/service/series/0558/bibs/2589/25890407.htm"
  links:
    doi: "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:
  - name: "Egon Börger"
    link: "https://researchr.org/alias/egon-b%C3%B6rger"
  - name: "Angelo Gargantini"
    link: "https://researchr.org/alias/angelo-gargantini"
  - name: "Elvinia Riccobene"
    link: "https://researchr.org/alias/elvinia-riccobene"
  volume: "2589"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-00624-9"
  kind: "inproceedings"
  key: "BarnettST03"
- title: "Functional Object-Oriented Programming with Object-Gofer"
  author:
  - name: "Wolfram Schulte"
    link: "http://research.microsoft.com/en-us/people/schulte/"
  - name: "Klaus Achatz"
    link: "https://researchr.org/alias/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"
  kind: "inproceedings"
  key: "SchulteA97"
- title: "Protocol Modeling with Model Program Composition"
  author:
  - name: "Margus Veanes"
    link: "https://researchr.org/alias/margus-veanes"
  - name: "Wolfram Schulte"
    link: "http://research.microsoft.com/en-us/people/schulte/"
  year: "2008"
  doi: "http://dx.doi.org/10.1007/978-3-540-68855-6_21"
  links:
    doi: "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:
  - name: "Kenji Suzuki"
    link: "https://researchr.org/alias/kenji-suzuki"
  - name: "Teruo Higashino"
    link: "https://researchr.org/alias/teruo-higashino"
  - name: "Keiichi Yasumoto"
    link: "https://researchr.org/alias/keiichi-yasumoto"
  - name: "Khaled El-Fakih"
    link: "https://researchr.org/alias/khaled-el-fakih"
  volume: "5048"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-540-68854-9"
  kind: "inproceedings"
  key: "VeanesS08:0"
- title: "Semantic Essence of AsmL"
  author:
  - name: "Yuri Gurevich"
    link: "http://research.microsoft.com/en-us/um/people/gurevich/"
  - name: "Benjamin Rossman"
    link: "https://researchr.org/alias/benjamin-rossman"
  - name: "Wolfram Schulte"
    link: "http://research.microsoft.com/en-us/people/schulte/"
  year: "2003"
  doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3188&spage=240"
  links:
    doi: "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:
  - name: "Frank S. de Boer"
    link: "https://researchr.org/alias/frank-s.-de-boer"
  - name: "Marcello M. Bonsangue"
    link: "https://researchr.org/alias/marcello-m.-bonsangue"
  - name: "Susanne Graf"
    link: "https://researchr.org/alias/susanne-graf"
  - name: "Willem P. de Roever"
    link: "https://researchr.org/alias/willem-p.-de-roever"
  volume: "3188"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-22942-6"
  kind: "inproceedings"
  key: "GurevichRS03"
- title: "Parallelism versus Nondeterminism - On the Semantics of Abstract State Machines"
  author:
  - name: "Wolfram Schulte"
    link: "http://research.microsoft.com/en-us/people/schulte/"
  year: "2003"
  doi: "http://link.springer.de/link/service/series/0558/bibs/2589/25890425.htm"
  links:
    doi: "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:
  - name: "Egon Börger"
    link: "https://researchr.org/alias/egon-b%C3%B6rger"
  - name: "Angelo Gargantini"
    link: "https://researchr.org/alias/angelo-gargantini"
  - name: "Elvinia Riccobene"
    link: "https://researchr.org/alias/elvinia-riccobene"
  volume: "2589"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-00624-9"
  kind: "inproceedings"
  key: "Schulte03"
- title: "Formale objektorientierte Softwareentwicklung mit Fox"
  author:
  - name: "Klaus Achatz"
    link: "https://researchr.org/alias/klaus-achatz"
  - name: "Wolfram Schulte"
    link: "http://research.microsoft.com/en-us/people/schulte/"
  year: "1997"
  researchr: "https://researchr.org/publication/AchatzS97"
  cites: 0
  citedby: 0
  journal: "Inform., Forsch. Entwickl."
  volume: "12"
  number: "4"
  pages: "174-185"
  kind: "article"
  key: "AchatzS97"
- title: "Validating Use-Cases with the AsmL Test Tool"
  author:
  - name: "Michael Barnett"
    link: "https://researchr.org/alias/michael-barnett"
  - name: "Wolfgang Grieskamp"
    link: "https://researchr.org/alias/wolfgang-grieskamp"
  - name: "Wolfram Schulte"
    link: "http://research.microsoft.com/en-us/people/schulte/"
  - name: "Nikolai Tillmann"
    link: "https://researchr.org/alias/nikolai-tillmann"
  - name: "Margus Veanes"
    link: "https://researchr.org/alias/margus-veanes"
  year: "2003"
  doi: "http://csdl.computer.org/comp/proceedings/qsic/2003/2015/00/20150238abs.htm"
  links:
    doi: "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"
  kind: "inproceedings"
  key: "BarnettGSTV03"
- title: "Compositional Modeling for Data-Centric Business Applications"
  author:
  - name: "Ethan K. Jackson"
    link: "https://researchr.org/alias/ethan-k.-jackson"
  - name: "Wolfram Schulte"
    link: "http://research.microsoft.com/en-us/people/schulte/"
  year: "2008"
  doi: "http://dx.doi.org/10.1007/978-3-540-78789-1_15"
  links:
    doi: "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:
  - name: "Cesare Pautasso"
    link: "http://www.pautasso.info/"
  - name: "Éric Tanter"
    link: "http://pleiad.dcc.uchile.cl/people/etanter"
  volume: "4954"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-540-78788-4"
  kind: "inproceedings"
  key: "JacksonS08:0"
- title: "Automating Software Testing Using Program Analysis"
  author:
  - name: "Patrice Godefroid"
    link: "https://researchr.org/alias/patrice-godefroid"
  - name: "Jonathan de Halleux"
    link: "https://researchr.org/alias/jonathan-de-halleux"
  - name: "Aditya V. Nori"
    link: "https://researchr.org/alias/aditya-v.-nori"
  - name: "Sriram K. Rajamani"
    link: "https://researchr.org/alias/sriram-k.-rajamani"
  - name: "Wolfram Schulte"
    link: "http://research.microsoft.com/en-us/people/schulte/"
  - name: "Nikolai Tillmann"
    link: "https://researchr.org/alias/nikolai-tillmann"
  - name: "Michael Y. Levin"
    link: "https://researchr.org/alias/michael-y.-levin"
  year: "2008"
  doi: "http://dx.doi.org/10.1109/MS.2008.109"
  links:
    doi: "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"
  kind: "article"
  key: "GodefroidHNRSTL08"
- title: "Safe Concurrency for Aggregate Objects with Invariants"
  author:
  - name: "Bart Jacobs 0002"
    link: "https://researchr.org/alias/bart-jacobs-0002"
  - name: "Frank Piessens"
    link: "https://researchr.org/alias/frank-piessens"
  - name: "K. Rustan M. Leino"
    link: "https://researchr.org/alias/k.-rustan-m.-leino"
  - name: "Wolfram Schulte"
    link: "http://research.microsoft.com/en-us/people/schulte/"
  year: "2005"
  doi: "http://doi.ieeecomputersociety.org/10.1109/SEFM.2005.39"
  links:
    doi: "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:
  - name: "Bernhard K. Aichernig"
    link: "https://researchr.org/alias/bernhard-k.-aichernig"
  - name: "Bernhard Beckert"
    link: "https://researchr.org/alias/bernhard-beckert"
  publisher: "IEEE Computer Society"
  isbn: "0-7695-2435-4"
  kind: "inproceedings"
  key: "JacobsPLS05"
- title: "A Practical Method for Specification and Analysis of Exception Handling - A Java/JVM Case Study"
  author:
  - name: "Egon Börger"
    link: "http://www.di.unipi.it/~boerger/"
  - name: "Wolfram Schulte"
    link: "http://research.microsoft.com/en-us/people/schulte/"
  year: "2000"
  doi: "http://www.computer.org:80/tse/ts2000/e0872abs.htm"
  links:
    doi: "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"
  kind: "article"
  key: "BorgerS00"
- title: "Investigating Java Concurrency Using Abstract State Machines"
  author:
  - name: "Yuri Gurevich"
    link: "http://research.microsoft.com/en-us/um/people/gurevich/"
  - name: "Wolfram Schulte"
    link: "http://research.microsoft.com/en-us/people/schulte/"
  - name: "Charles Wallace"
    link: "https://researchr.org/alias/charles-wallace"
  year: "2000"
  doi: "http://link.springer.de/link/service/series/0558/bibs/1912/19120151.htm"
  links:
    doi: "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:
  - name: "Yuri Gurevich"
    link: "https://researchr.org/alias/yuri-gurevich"
  - name: "Philipp W. Kutter"
    link: "https://researchr.org/alias/philipp-w.-kutter"
  - name: "Martin Odersky"
    link: "http://lampwww.epfl.ch/~odersky/"
  - name: "Lothar Thiele"
    link: "https://researchr.org/alias/lothar-thiele"
  volume: "1912"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-67959-6"
  kind: "inproceedings"
  key: "GurevichSW00"
- title: "Parameterized unit tests with unit meister"
  author:
  - name: "Nikolai Tillmann"
    link: "https://researchr.org/alias/nikolai-tillmann"
  - name: "Wolfram Schulte"
    link: "http://research.microsoft.com/en-us/people/schulte/"
  year: "2005"
  doi: "http://doi.acm.org/10.1145/1081706.1081745"
  links:
    doi: "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:
  - name: "Michel Wermelinger"
    link: "https://researchr.org/alias/michel-wermelinger"
  - name: "Harald Gall"
    link: "https://researchr.org/alias/harald-gall"
  publisher: "ACM"
  isbn: "1-59593-014-0"
  kind: "inproceedings"
  key: "TillmannS05"
- title: "Workshop on state-space exploration for automated testing (SSEAT 2008)"
  author:
  - name: "Darko Marinov"
    link: "https://researchr.org/alias/darko-marinov"
  - name: "Wolfram Schulte"
    link: "http://research.microsoft.com/en-us/people/schulte/"
  year: "2008"
  doi: "http://doi.acm.org/10.1145/1390630.1390672"
  links:
    doi: "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:
  - name: "Barbara G. Ryder"
    link: "https://researchr.org/alias/barbara-g.-ryder"
  - name: "Andreas Zeller"
    link: "https://researchr.org/alias/andreas-zeller"
  publisher: "ACM"
  isbn: "978-1-60558-050-0"
  kind: "inproceedings"
  key: "MarinovS08"
- title: "Tool Support for the Interactive Derivation of Formally Correct Functional Programs"
  author:
  - name: "Walter Guttmann"
    link: "https://researchr.org/alias/walter-guttmann"
  - name: "Helmuth Partsch"
    link: "https://researchr.org/alias/helmuth-partsch"
  - name: "Wolfram Schulte"
    link: "http://research.microsoft.com/en-us/people/schulte/"
  - name: "Ton Vullinghs"
    link: "https://researchr.org/alias/ton-vullinghs"
  year: "2003"
  doi: "http://www.jucs.org/jucs_9_2/tool_support_for_the"
  links:
    doi: "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"
  kind: "article"
  key: "GuttmannPSV03"
- title: "Controllable Combinatorial Coverage in Grammar-Based Testing"
  author:
  - name: "Ralf Lämmel"
    link: "http://www.uni-koblenz.de/~laemmel/Site/Home.html"
  - name: "Wolfram Schulte"
    link: "http://research.microsoft.com/en-us/people/schulte/"
  year: "2006"
  doi: "http://dx.doi.org/10.1007/11754008_2"
  abstract: "Given a grammar (or other sorts of meta-data), one can trivially derive combinatorially exhaustive test-data sets up to a specified depth. Without further efforts, such test-data sets would be huge at the least and explosive most of the time. Fortunately, scenarios of grammar-based testing tend to admit non-explosive approximations of naive combinatorial coverage. In this paper, we describe the notion of controllable combinatorial coverage and a corresponding algorithm for test-data generation. The approach is based on a suite of control mechanisms to be used for the characterization of test-data sets as well-defined and understandable approximations of full combinatorial coverage. The approach has been implemented in the C#-based test-data generator Geno, which has been successfully used in projects that required differential testing, stress testing and conformance testing of grammar-driven functionality. "
  links:
    doi: "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:
  - name: "M. Ümit Uyar"
    link: "https://researchr.org/alias/m.-%C3%BCmit-uyar"
  - name: "Ali Y. Duale"
    link: "https://researchr.org/alias/ali-y.-duale"
  - name: "Mariusz A. Fecko"
    link: "https://researchr.org/alias/mariusz-a.-fecko"
  volume: "3964"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-34184-6"
  kind: "inproceedings"
  key: "LammelS06"
- title: "Lightweight GUIs for Functional Programming"
  author:
  - name: "Ton Vullinghs"
    link: "https://researchr.org/alias/ton-vullinghs"
  - name: "Daniel Tuinman"
    link: "https://researchr.org/alias/daniel-tuinman"
  - name: "Wolfram Schulte"
    link: "http://research.microsoft.com/en-us/people/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:
  - name: "Manuel V. Hermenegildo"
    link: "https://researchr.org/alias/manuel-v.-hermenegildo"
  - name: "S. Doaitse Swierstra"
    link: "http://www.cs.uu.nl/staff/doaitse.html"
  volume: "982"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-60359-X"
  kind: "inproceedings"
  key: "VullinghsTS95"
- title: "Mock-object generation with behavior"
  author:
  - name: "Nikolai Tillmann"
    link: "https://researchr.org/alias/nikolai-tillmann"
  - name: "Wolfram Schulte"
    link: "http://research.microsoft.com/en-us/people/schulte/"
  year: "2006"
  doi: "http://doi.ieeecomputersociety.org/10.1109/ASE.2006.51"
  links:
    doi: "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"
  kind: "inproceedings"
  key: "TillmannS06"
- title: "Challenge problems in software testing"
  author:
  - name: "Wolfram Schulte"
    link: "http://research.microsoft.com/en-us/people/schulte/"
  year: "2006"
  doi: "http://doi.acm.org/10.1145/1188895.1188897"
  links:
    doi: "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:
  - name: "Johannes Mayer"
    link: "https://researchr.org/alias/johannes-mayer"
  - name: "Neelam Gupta"
    link: "https://researchr.org/alias/neelam-gupta"
  - name: "Yves Ledru"
    link: "https://researchr.org/alias/yves-ledru"
  publisher: "ACM"
  isbn: "1-59593-584-3"
  kind: "inproceedings"
  key: "Schulte06:0"
- title: "TkGofer: A Functional GUI Library"
  author:
  - name: "Wolfram Schulte"
    link: "http://research.microsoft.com/en-us/people/schulte/"
  - name: "Thilo Schwinn"
    link: "https://researchr.org/alias/thilo-schwinn"
  - name: "Ton Vullinghs"
    link: "https://researchr.org/alias/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:
  - name: "Martin Wirsing"
    link: "https://researchr.org/alias/martin-wirsing"
  - name: "Maurice Nivat"
    link: "https://researchr.org/alias/maurice-nivat"
  volume: "1101"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-61463-X"
  kind: "inproceedings"
  key: "SchulteSV96"
- title: "An Automatic Verifier for Java-Like Programs Based on Dynamic Frames"
  author:
  - name: "Jan Smans"
    link: "https://researchr.org/alias/jan-smans"
  - name: "Bart Jacobs 0002"
    link: "https://researchr.org/alias/bart-jacobs-0002"
  - name: "Frank Piessens"
    link: "https://researchr.org/alias/frank-piessens"
  - name: "Wolfram Schulte"
    link: "http://research.microsoft.com/en-us/people/schulte/"
  year: "2008"
  doi: "http://dx.doi.org/10.1007/978-3-540-78743-3_19"
  links:
    doi: "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:
  - name: "José Luiz Fiadeiro"
    link: "https://researchr.org/alias/jos%C3%A9-luiz-fiadeiro"
  - name: "Paola Inverardi"
    link: "https://researchr.org/alias/paola-inverardi"
  volume: "4961"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-540-78742-6"
  kind: "inproceedings"
  key: "SmansJPS08"
- title: "Architecture Independent Massive Parallelization of Divide-and-Conquer Algorithms"
  author:
  - name: "Klaus Achatz"
    link: "https://researchr.org/alias/klaus-achatz"
  - name: "Wolfram Schulte"
    link: "http://research.microsoft.com/en-us/people/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:
  - name: "Bernhard Möller"
    link: "https://researchr.org/alias/bernhard-m%C3%B6ller"
  volume: "947"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-60117-1"
  kind: "inproceedings"
  key: "AchatzS95"
- title: "Using Dynamic Symbolic Execution to Improve Deductive Verification"
  author:
  - name: "Dries Vanoverberghe"
    link: "https://researchr.org/alias/dries-vanoverberghe"
  - name: "Nikolaj Bjørner"
    link: "https://researchr.org/alias/nikolaj-bj%C3%B8rner"
  - name: "Jonathan de Halleux"
    link: "https://researchr.org/alias/jonathan-de-halleux"
  - name: "Wolfram Schulte"
    link: "http://research.microsoft.com/en-us/people/schulte/"
  - name: "Nikolai Tillmann"
    link: "https://researchr.org/alias/nikolai-tillmann"
  year: "2008"
  doi: "http://dx.doi.org/10.1007/978-3-540-85114-1_4"
  links:
    doi: "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:
  - name: "Klaus Havelund"
    link: "https://researchr.org/alias/klaus-havelund"
  - name: "Rupak Majumdar"
    link: "https://researchr.org/alias/rupak-majumdar"
  - name: "Jens Palsberg"
    link: "https://researchr.org/alias/jens-palsberg"
  volume: "5156"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-540-85113-4"
  kind: "inproceedings"
  key: "VanoverbergheBHST08"
- title: "Discovering Likely Method Specifications"
  author:
  - name: "Nikolai Tillmann"
    link: "https://researchr.org/alias/nikolai-tillmann"
  - name: "Feng Chen"
    link: "https://researchr.org/alias/feng-chen"
  - name: "Wolfram Schulte"
    link: "http://research.microsoft.com/en-us/people/schulte/"
  year: "2006"
  doi: "http://dx.doi.org/10.1007/11901433_39"
  links:
    doi: "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:
  - name: "Zhiming Liu"
    link: "https://researchr.org/alias/zhiming-liu"
  - name: "Jifeng He"
    link: "https://researchr.org/alias/jifeng-he"
  volume: "4260"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-47460-9"
  kind: "inproceedings"
  key: "TillmannCS06"
- title: "Programming with rectangles, triangles, and circles"
  author:
  - name: "Erik Meijer"
    link: "http://research.microsoft.com/en-us/um/people/emeijer/"
  - name: "Wolfram Schulte"
    link: "http://research.microsoft.com/en-us/people/schulte/"
  year: "2003"
  month: "December"
  abstract: "This paper proposes extending popular object-oriented programming languages such as C#, VB or Java with native support for XML. In our approach XML documents or document fragments become first class citizens. This means that XML values can be constructed, loaded, passed, transformed and updated in a type-safe manner. The type system extensions, however, are not based on XML Schemas. We show that XSDs and the XML data model do not fit well with the class-based nominal type system and object graph representation of our target languages. Instead we propose to extend the C# type system with new structural types that model XSD sequences, choices, and all-groups. We also propose a number of extensions to the language itself that incorporate a simple but expressive query language that is influenced by XPath and SQL. We demonstrate our language and type system by translating a selection of the XQuery use cases."
  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"
  kind: "inproceedings"
  key: "Meijer2003"
- title: "A Simple Sequential Reasoning Approach for Sound Modular Verification of Mainstream Multithreaded Programs"
  author:
  - name: "Bart Jacobs 0002"
    link: "https://researchr.org/alias/bart-jacobs-0002"
  - name: "Jan Smans"
    link: "https://researchr.org/alias/jan-smans"
  - name: "Frank Piessens"
    link: "https://researchr.org/alias/frank-piessens"
  - name: "Wolfram Schulte"
    link: "http://research.microsoft.com/en-us/people/schulte/"
  year: "2007"
  doi: "http://dx.doi.org/10.1016/j.entcs.2007.04.005"
  links:
    doi: "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"
  kind: "article"
  key: "JacobsSPS07"
- title: "Deriving Residual Reference Count Garbage Collectors"
  author:
  - name: "Wolfram Schulte"
    link: "http://research.microsoft.com/en-us/people/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:
  - name: "Manuel V. Hermenegildo"
    link: "https://researchr.org/alias/manuel-v.-hermenegildo"
  - name: "Jaan Penjam"
    link: "https://researchr.org/alias/jaan-penjam"
  volume: "844"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-58402-1"
  kind: "inproceedings"
  key: "Schulte94"
- title: "Parameterized unit tests"
  author:
  - name: "Nikolai Tillmann"
    link: "https://researchr.org/alias/nikolai-tillmann"
  - name: "Wolfram Schulte"
    link: "http://research.microsoft.com/en-us/people/schulte/"
  year: "2005"
  doi: "http://doi.acm.org/10.1145/1081706.1081749"
  links:
    doi: "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:
  - name: "Michel Wermelinger"
    link: "https://researchr.org/alias/michel-wermelinger"
  - name: "Harald Gall"
    link: "https://researchr.org/alias/harald-gall"
  publisher: "ACM"
  isbn: "1-59593-014-0"
  kind: "inproceedings"
  key: "TillmannS05a"
- title: "Translating Theory into Practice - Abstract State Machines within Microsoft"
  author:
  - name: "Wolfram Schulte"
    link: "http://research.microsoft.com/en-us/people/schulte/"
  year: "2000"
  doi: "http://link.springer.de/link/service/series/0558/bibs/1862/18620071.htm"
  links:
    doi: "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:
  - name: "Peter Clote"
    link: "https://researchr.org/alias/peter-clote"
  - name: "Helmut Schwichtenberg"
    link: "https://researchr.org/alias/helmut-schwichtenberg"
  volume: "1862"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-67895-6"
  kind: "inproceedings"
  key: "Schulte00:0"
- title: "Runtime verification of .NET contracts"
  author:
  - name: "Michael Barnett"
    link: "https://researchr.org/alias/michael-barnett"
  - name: "Wolfram Schulte"
    link: "http://research.microsoft.com/en-us/people/schulte/"
  year: "2003"
  doi: "http://dx.doi.org/10.1016/S0164-1212(02)00041-9"
  links:
    doi: "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"
  kind: "article"
  key: "BarnettS03"
- title: "The Spec# Programming System: Challenges and Directions"
  author:
  - name: "Michael Barnett"
    link: "https://researchr.org/alias/michael-barnett"
  - name: "Robert DeLine"
    link: "https://researchr.org/alias/robert-deline"
  - name: "Manuel Fähndrich"
    link: "https://researchr.org/alias/manuel-f%C3%A4hndrich"
  - name: "Bart Jacobs 0002"
    link: "https://researchr.org/alias/bart-jacobs-0002"
  - name: "K. Rustan M. Leino"
    link: "https://researchr.org/alias/k.-rustan-m.-leino"
  - name: "Wolfram Schulte"
    link: "http://research.microsoft.com/en-us/people/schulte/"
  - name: "Herman Venter"
    link: "https://researchr.org/alias/herman-venter"
  year: "2005"
  doi: "http://dx.doi.org/10.1007/978-3-540-69149-5_16"
  links:
    doi: "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:
  - name: "Bertrand Meyer"
    link: "http://se.ethz.ch/~meyer/"
  - name: "Jim Woodcock"
    link: "https://researchr.org/alias/jim-woodcock"
  volume: "4171"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-540-69147-1"
  kind: "inproceedings"
  key: "BarnettDFJLSV05"
- title: "Using History Invariants to Verify Observers"
  author:
  - name: "K. Rustan M. Leino"
    link: "https://researchr.org/alias/k.-rustan-m.-leino"
  - name: "Wolfram Schulte"
    link: "http://research.microsoft.com/en-us/people/schulte/"
  year: "2007"
  doi: "http://dx.doi.org/10.1007/978-3-540-71316-6_7"
  links:
    doi: "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:
  - name: "Rocco De Nicola"
    link: "https://researchr.org/alias/rocco-de-nicola"
  volume: "4421"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-540-71314-2"
  kind: "inproceedings"
  key: "LeinoS07"
- title: "Optimal strategies for testing nondeterministic systems"
  author:
  - name: "Lev Nachmanson"
    link: "https://researchr.org/alias/lev-nachmanson"
  - name: "Margus Veanes"
    link: "https://researchr.org/alias/margus-veanes"
  - name: "Wolfram Schulte"
    link: "http://research.microsoft.com/en-us/people/schulte/"
  - name: "Nikolai Tillmann"
    link: "https://researchr.org/alias/nikolai-tillmann"
  - name: "Wolfgang Grieskamp"
    link: "https://researchr.org/alias/wolfgang-grieskamp"
  year: "2004"
  doi: "http://doi.acm.org/10.1145/1007512.1007520"
  links:
    doi: "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:
  - name: "George S. Avrunin"
    link: "https://researchr.org/alias/george-s.-avrunin"
  - name: "Gregg Rothermel"
    link: "https://researchr.org/alias/gregg-rothermel"
  publisher: "ACM"
  isbn: "1-58113-820-2"
  kind: "inproceedings"
  key: "NachmansonVSTG04"
- title: "The Essence of Data Access in C::::omega::::"
  author:
  - name: "Gavin M. Bierman"
    link: "https://researchr.org/alias/gavin-m.-bierman"
  - name: "Erik Meijer"
    link: "http://research.microsoft.com/en-us/um/people/emeijer/"
  - name: "Wolfram Schulte"
    link: "http://research.microsoft.com/en-us/people/schulte/"
  year: "2005"
  doi: "http://dx.doi.org/10.1007/11531142_13"
  links:
    doi: "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:
  - name: "Andrew P. Black"
    link: "https://researchr.org/alias/andrew-p.-black"
  volume: "3586"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-27992-X"
  kind: "inproceedings"
  key: "BiermanMS05"
- title: "A Programmer Friendly Modular Definition of the Semantics of Java"
  author:
  - name: "Egon Börger"
    link: "http://www.di.unipi.it/~boerger/"
  - name: "Wolfram Schulte"
    link: "http://research.microsoft.com/en-us/people/schulte/"
  year: "1999"
  doi: "http://link.springer.de/link/service/series/0558/bibs/1523/15230353.htm"
  links:
    doi: "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:
  - name: "Jim Alves-Foss"
    link: "https://researchr.org/alias/jim-alves-foss"
  volume: "1523"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-66158-1"
  kind: "inproceedings"
  key: "BorgerS99"
- title: "Massive Parallelization of Divide-and-Conquer Algorithms over Powerlists"
  author:
  - name: "Klaus Achatz"
    link: "https://researchr.org/alias/klaus-achatz"
  - name: "Wolfram Schulte"
    link: "http://research.microsoft.com/en-us/people/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"
  kind: "article"
  key: "AchatzS96"
- title: "Unit Tests Reloaded: Parameterized Unit Testing with Symbolic Execution"
  author:
  - name: "Nikolai Tillmann"
    link: "https://researchr.org/alias/nikolai-tillmann"
  - name: "Wolfram Schulte"
    link: "http://research.microsoft.com/en-us/people/schulte/"
  year: "2006"
  doi: "http://doi.ieeecomputersociety.org/10.1109/MS.2006.117"
  links:
    doi: "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"
  kind: "article"
  key: "TillmannS06:0"
- title: "Model Generation for Horn Logic with Stratified Negation"
  author:
  - name: "Ethan K. Jackson"
    link: "https://researchr.org/alias/ethan-k.-jackson"
  - name: "Wolfram Schulte"
    link: "http://research.microsoft.com/en-us/people/schulte/"
  year: "2008"
  doi: "http://dx.doi.org/10.1007/978-3-540-68855-6_1"
  links:
    doi: "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:
  - name: "Kenji Suzuki"
    link: "https://researchr.org/alias/kenji-suzuki"
  - name: "Teruo Higashino"
    link: "https://researchr.org/alias/teruo-higashino"
  - name: "Keiichi Yasumoto"
    link: "https://researchr.org/alias/keiichi-yasumoto"
  - name: "Khaled El-Fakih"
    link: "https://researchr.org/alias/khaled-el-fakih"
  volume: "5048"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-540-68854-9"
  kind: "inproceedings"
  key: "JacksonS08"
- title: "Exception Safety for C#"
  author:
  - name: "K. Rustan M. Leino"
    link: "https://researchr.org/alias/k.-rustan-m.-leino"
  - name: "Wolfram Schulte"
    link: "http://research.microsoft.com/en-us/people/schulte/"
  year: "2004"
  doi: "http://doi.ieeecomputersociety.org/10.1109/SEFM.2004.14"
  links:
    doi: "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"
  kind: "inproceedings"
  key: "LeinoS04"
- title: "Allowing State Changes in Specifications"
  author:
  - name: "Michael Barnett"
    link: "https://researchr.org/alias/michael-barnett"
  - name: "David A. Naumann"
    link: "https://researchr.org/alias/david-a.-naumann"
  - name: "Wolfram Schulte"
    link: "http://research.microsoft.com/en-us/people/schulte/"
  - name: "Qi Sun"
    link: "https://researchr.org/alias/qi-sun"
  year: "2006"
  doi: "http://dx.doi.org/10.1007/11766155_23"
  links:
    doi: "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:
  - name: "Günter Müller"
    link: "https://researchr.org/alias/g%C3%BCnter-m%C3%BCller"
  volume: "3995"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-34640-6"
  kind: "inproceedings"
  key: "BarnettNSS06"
- title: "Towards a Tool Environment for Model-Based Testing with AsmL"
  author:
  - name: "Michael Barnett"
    link: "https://researchr.org/alias/michael-barnett"
  - name: "Wolfgang Grieskamp"
    link: "https://researchr.org/alias/wolfgang-grieskamp"
  - name: "Lev Nachmanson"
    link: "https://researchr.org/alias/lev-nachmanson"
  - name: "Wolfram Schulte"
    link: "http://research.microsoft.com/en-us/people/schulte/"
  - name: "Nikolai Tillmann"
    link: "https://researchr.org/alias/nikolai-tillmann"
  - name: "Margus Veanes"
    link: "https://researchr.org/alias/margus-veanes"
  year: "2003"
  doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2931&spage=252"
  links:
    doi: "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:
  - name: "Alexandre Petrenko"
    link: "https://researchr.org/alias/alexandre-petrenko"
  - name: "Andreas Ulrich"
    link: "https://researchr.org/alias/andreas-ulrich"
  volume: "2931"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-20894-1"
  kind: "inproceedings"
  key: "BarnettGNSTV03"
- title: "Defining the Java Virtual Machine as Platform for Provably Correct Java Compilation"
  author:
  - name: "Egon Börger"
    link: "http://www.di.unipi.it/~boerger/"
  - name: "Wolfram Schulte"
    link: "http://research.microsoft.com/en-us/people/schulte/"
  year: "1998"
  doi: "http://link.springer.de/link/service/series/0558/bibs/1450/14500017.htm"
  links:
    doi: "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:
  - name: "Lubos Brim"
    link: "https://researchr.org/alias/lubos-brim"
  - name: "Jozef Gruska"
    link: "https://researchr.org/alias/jozef-gruska"
  - name: "Jirí Zlatuska"
    link: "https://researchr.org/alias/jir%C3%AD-zlatuska"
  volume: "1450"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-64827-5"
  kind: "inproceedings"
  key: "BorgerS98"
- title: "Model-Based Testing of Cryptographic Protocols"
  author:
  - name: "Dean Rosenzweig"
    link: "https://researchr.org/alias/dean-rosenzweig"
  - name: "Davor Runje"
    link: "https://researchr.org/alias/davor-runje"
  - name: "Wolfram Schulte"
    link: "http://research.microsoft.com/en-us/people/schulte/"
  year: "2005"
  doi: "http://dx.doi.org/10.1007/11580850_4"
  links:
    doi: "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:
  - name: "Rocco De Nicola"
    link: "https://researchr.org/alias/rocco-de-nicola"
  - name: "Davide Sangiorgi"
    link: "https://researchr.org/alias/davide-sangiorgi"
  volume: "3705"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-30007-4"
  kind: "inproceedings"
  key: "RosenzweigRS05"
- title: "Vx86: x86 Assembler Simulated in C Powered by Automated Theorem Proving"
  author:
  - name: "Stefan Maus"
    link: "https://researchr.org/alias/stefan-maus"
  - name: "Michal Moskal"
    link: "https://researchr.org/alias/michal-moskal"
  - name: "Wolfram Schulte"
    link: "http://research.microsoft.com/en-us/people/schulte/"
  year: "2008"
  doi: "http://dx.doi.org/10.1007/978-3-540-79980-1_22"
  links:
    doi: "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:
  - name: "José Meseguer"
    link: "http://formal.cs.uiuc.edu/meseguer/"
  - name: "Grigore Rosu"
    link: "http://fsl.cs.uiuc.edu/~grosu/"
  volume: "5140"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-540-79979-5"
  kind: "inproceedings"
  key: "MausMS08"
- title: "XRT- Exploring Runtime for .NET Architecture and Applications"
  author:
  - name: "Wolfgang Grieskamp"
    link: "https://researchr.org/alias/wolfgang-grieskamp"
  - name: "Nikolai Tillmann"
    link: "https://researchr.org/alias/nikolai-tillmann"
  - name: "Wolfram Schulte"
    link: "http://research.microsoft.com/en-us/people/schulte/"
  year: "2006"
  doi: "http://dx.doi.org/10.1016/j.entcs.2006.01.002"
  links:
    doi: "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"
  kind: "article"
  key: "GrieskampTS06"
- title: "Semantic essence of AsmL"
  author:
  - name: "Yuri Gurevich"
    link: "http://research.microsoft.com/en-us/um/people/gurevich/"
  - name: "Benjamin Rossman"
    link: "https://researchr.org/alias/benjamin-rossman"
  - name: "Wolfram Schulte"
    link: "http://research.microsoft.com/en-us/people/schulte/"
  year: "2005"
  doi: "http://dx.doi.org/10.1016/j.tcs.2005.06.017"
  links:
    doi: "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"
  kind: "article"
  key: "GurevichRS05"
- title: "A programming model for concurrent object-oriented programs"
  author:
  - name: "Bart Jacobs 0002"
    link: "https://researchr.org/alias/bart-jacobs-0002"
  - name: "Frank Piessens"
    link: "https://researchr.org/alias/frank-piessens"
  - name: "Jan Smans"
    link: "https://researchr.org/alias/jan-smans"
  - name: "K. Rustan M. Leino"
    link: "https://researchr.org/alias/k.-rustan-m.-leino"
  - name: "Wolfram Schulte"
    link: "http://research.microsoft.com/en-us/people/schulte/"
  year: "2008"
  doi: "http://doi.acm.org/10.1145/1452044.1452045"
  links:
    doi: "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"
  kind: "article"
  key: "JacobsPSLS08"
- title: "Composition of Model Programs"
  author:
  - name: "Margus Veanes"
    link: "https://researchr.org/alias/margus-veanes"
  - name: "Colin Campbell"
    link: "https://researchr.org/alias/colin-campbell"
  - name: "Wolfram Schulte"
    link: "http://research.microsoft.com/en-us/people/schulte/"
  year: "2007"
  doi: "http://dx.doi.org/10.1007/978-3-540-73196-2_9"
  links:
    doi: "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:
  - name: "John Derrick"
    link: "https://researchr.org/alias/john-derrick"
  - name: "Jüri Vain"
    link: "https://researchr.org/alias/j%C3%BCri-vain"
  volume: "4574"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-540-73195-5"
  kind: "inproceedings"
  key: "VeanesCS07"
- title: "Pex - An Intelligent Assistant for Rigorous Developer Testing"
  author:
  - name: "Wolfram Schulte"
    link: "http://research.microsoft.com/en-us/people/schulte/"
  year: "2007"
  doi: "http://doi.ieeecomputersociety.org/10.1109/ICECCS.2007.35"
  links:
    doi: "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"
  kind: "inproceedings"
  key: "Schulte07:0"
- 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:
  - name: "Jim Davies"
    link: "https://researchr.org/alias/jim-davies"
  - name: "Wolfram Schulte"
    link: "http://research.microsoft.com/en-us/people/schulte/"
  - name: "Michael Barnett"
    link: "https://researchr.org/alias/michael-barnett"
  volume: "3308"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-23841-7"
  kind: "proceedings"
  key: "icfem:2004"