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: "IFM"
  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: "ershov"
  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: "seuh"
  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: "jot"
  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: "stp"
  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: "asmta"
  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: "ESEC/FSE"
  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: "apaqs"
  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: "ehci"
  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: "ICSE"
  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: "fortest"
  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"
  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: "ICECCS"
  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: "ICSE"
  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: "informaticaSI"
  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: "TACAS"
  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: "icfem"
  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: "phoenix"
  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"
  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: "asmta"
  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"
  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: "forte"
  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: "FMCO"
  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: "asmta"
  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: "ife"
  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: "qsic"
  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: "SC"
  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: "SEFM"
  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: "TSE"
  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: "asmta"
  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: "ESEC/FSE"
  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: "ISSTA"
  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: "jucs"
  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: "pts"
  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: "plilp"
  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: "ASE"
  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: "soqua"
  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: "amast"
  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: "FASE"
  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: "mpc"
  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: "spin"
  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: "icfem"
  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)"
  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: "ENTCS"
  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: "plilp"
  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: "ESEC/FSE"
  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: "csl"
  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: "jss"
  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: "vstte"
  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: "ESOP"
  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: "ISSTA"
  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"
  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: "java"
  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: "SCP"
  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: "forte"
  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: "SEFM"
  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: "etrics"
  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: "fates"
  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: "mfcs"
  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: "tgc"
  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: "amast"
  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: "ENTCS"
  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: "TCS"
  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: "TOPLAS"
  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: "forte"
  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: "ICECCS"
  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"