2013

• Ethan Jackson, Nikolaj Bjorner, and Wolfram Schulte, Open-World Logic Programs: A New Foundation for Formal Specifications, no. MSR-TR-2013-55, May 2013
• Jacek Czerwonka, Nachi Nagappan, Wolfram Schulte, and Brendan Murphy, CODEMINE: Building a Software Analytics Platform for Collecting and Analyzing Engineering Process Data at Microsoft, no. MSR-TR-2013-7, 21 January 2013

2012

• Todd Mytkowicz and Wolfram Schulte, Waiting for Godot: The Right Language Abstractions for Parallel Programming Should be Here Soon, no. MSR-TR-2012-63, July 2012
• Todd Mytkowicz and Wolfram Schulte, Maine: A Library for Data Parallel Finite Automata, no. MSR-TR-2012-62, July 2012

2011

• Tim Menzies, Christian Bird, Thomas Zimmermann, Wolfram Schulte, and Ekrem Kocaganeli, The Inductive Software Engineering Manifesto: Principles for Industrial Data Mining, in Proceedings of the International Workshop on Machine Learning Technologies in Sofware Engineering, ACM, November 2011
• Benjamin S. Lerner, Brian Burg, Wolfram Schulte, and H Venter, C3: An Experimental, Extensible, Reconfigurable Platform for HTML-based Applications, in 2nd USENIX Conference on Web Application Development, USENIX, 15 June 2011
• Mike Barnett, Manuel Fahndrich, K. Rustan M. Leino, Peter Mueller, Wolfram Schulte, and Herman Venter, Specification and Verification: The Spec# Experience, in Communications of the ACM, vol. 54, no. 6, pp. 81--91, Association for Computing Machinery, Inc., June 2011
• Leo A. Meyerovich, Todd Mytkowicz, and Wolfram Schulte, Data Parallel Programming for Irregular Tree Computations, in HotPAR, USENIX, May 2011
• Ethan Jackson, Nikolaj Bjorner, and Wolfram Schulte, Canonical Regular Types, in ICLP, 2011

2010

• Tao Xie, Nikolai Tillmann, Jonathan de Halleux, and Wolfram Schulte, Future of Developer Testing: Building Quality in Code, in Proc. FSE/SDP Workshop on the Future of Software Engineering Research (FoSER 2010), November 2010
• Tao Xie, Jonathan de Halleux, Nikolai Tillmann, and Wolfram Schulte, Teaching and Training Developer-Testing Techniques and Tool Support , in of the 25th Annual ACM Conference on Systems, Programming, Languages, and Applications: Software for Humanity (SPLASH 2010), Educators' and Trainers' Symposium, Reno/Tahoe Nevada, Association for Computing Machinery, Inc., October 2010
• Nikolai Tillmann, Michal Moskal, Wolfram Schulte, Herman Venter, and Manuel Fahndrich, The Unthinkable: Automated Theorem Provers for (Tracing) Just-in-time Compilers, 24 May 2010
• Wolfram Schulte and Nikolai Tillmann, Automatic Parallelization of Programming Languages: Past, Present and Future, in International Workshop on Multicore Software Engineering, May 2010
• Michael Bebenita, Florian Brandner, Manuel Fahndrich, Francesco Logozzo, Wolfram Schulte, Nikolai Tillmann, and Herman Venter, SPUR: A Trace-Based JIT Compiler for CIL, no. MSR-TR-2010-27, 25 March 2010
• Sascha Böhme, Michał Moskal, Wolfram Schulte, and Burkhart Wolff, HOL-Boogie — An Interactive Prover-Backend for the Verifying C Compiler, in Journal of Automated Reasoning, Springer Verlag, February 2010
• Ernie Cohen, Michal Moskal, Wolfram Schulte, and Stephan Tobies, Local Verification of Global Invariants in Concurrent Programs, no. MSR-TR-2010-9, 26 January 2010
• Ethan K. Jackson, Wolfram Schulte, Daniel Balasubramanian, and Gabor Karsai, Reusing Model Transformations While Preserving Properties, in Fundamental Approaches to Software Engineering, 13th International Conference, FASE 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings, Springer Verlag, 2010
• Michael Bebenita, Florian Brandner, Manuel Fahndrich, Francesco Logozzo, Wolfram Schulte, Nikolai Tillmann, and Herman Venter, SPUR: a trace-based JIT compiler for CIL, in Proceedings of the ACM international conference on Object oriented programming systems languages and applications, ACM, New York, NY, USA, 2010

2009

• Nuo Li, Tao Xie, Nikolai Tillmann, Jonathan de Halleux, and Wolfram Schulte, Reggae: Automated Test Generation for Programs using Complex Regular Expressions , in Proceedings of the 24th IEEE/ACM International Conference on Automated Software Engineering , November 2009
• Daan Leijen, Wolfram Schulte, and Sebastian Burkhardt, The Design of a Task Parallel Library, in Proceeding of the 24th ACM SIGPLAN conference on Object oriented programming systems languages and applications (OOPSLA'09), ACM SIGPLAN, Atlanta, FL, September 2009
• Suresh Thummalapenta, Tao Xie, Nikolai Tillmann, Peli de Halleux, and Wolfram Schulte, MSeqGen: Object-Oriented Unit-Test Generation via Mining Source Code, in Proc. 7th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE 2009), Association for Computing Machinery, Inc., August 2009
• Tao Xie, Nikolai Tillmann, Peli de Halleux, and Wolfram Schulte, Fitness-Guided Path Exploration in Dynamic Symbolic Execution, in Proc. the 39th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2009), IEEE, June 2009
• Margus Veanes, Nikolaj Bjorner, Yuri Gurevich, and Wolfram Schulte, Symbolic Bounded Model Checking of Abstract State Machines, in Int J Software Informatics, vol. 3, no. (2-3), pp. 149-170, June 2009
• Ernie Cohen, Michał Moskal, Wolfram Schulte, and Stephan Tobies, A Precise Yet Efficient Memory Model For C, Elsevier , May 2009
• Madhuri R Marri, Tao Xie, Nikolai Tillmann, Jonathan de Halleux, and Wolfram Schulte, An Empirical Study of Testing File-System-Dependent Software with Mock Objects, in Proc. 4th International Workshop on Automation of Software Test (AST 2009), Business and Industry Case Studies, IEEE Computer Society, May 2009
• Kunal Taneja, Tao Xie, Nikolai Tillmann, Jonathan de Halleux, and Wolfram Schulte, Guided Path Exploration for Regression Test Generation, in Proc. 31th International Conference on Software Engineering (ICSE 2009), IEEE, May 2009
• Tao Xie, Nikolai Tillmann, Peli de Halleux, and Wolfram Schulte, Mutation Analysis of Parameterized Unit Tests, in Proc. International Conference on Software Testing, Verification and Validation Workshops, 2009. ICSTW '09., IEEE, April 2009
• Ernie Cohen, Michal Moskal, Wolfram Schulte, and Stephan Tobies, A Practical Verification Methodology for Concurrent Programs, no. MSR-TR-2009-2019, February 2009
• Ethan K. Jackson, Dirk Seifert, Thomas Santen, Nikolaj Bjørner, Wolfram Schulte, and Markus Dahlweid, Specifying and Composing Non-functional Requirements in Model-Based Development, in Proceedings of the 8th International Conference on Software Composition, Springer Verlag, 2009
• Ernie Cohen, Markus Dahlweid, Mark A. Hillebrand, Dirk Leinenbach, Michal Moskal, Thomas Santen, Wolfram Schulte, and Stephan Tobies, VCC: A Practical System for Verifying Concurrent C, in Theorem Proving in Higher Order Logics, 22nd International Conference, TPHOLs 2009, Springer, 2009
• Ethan K. Jackson, Wolfram Schulte, Daniel Balasubramanian, and Gabor Karsai, Reusing Model Transformations While Preserving Properties, in Under Review, 2009
• Matko Botincan, Matthew J. Parkinson, and Wolfram Schulte, Separation Logic Verification of C Programs with an SMT Solver, in Electr. Notes Theor. Comput. Sci., vol. 254, pp. 5-23, 2009
• Ernie Cohen, Eyad Alkassar, Vladimir Boyarinov, Markus Dahlweid, Ulan Degenbaev, Mark A. Hillebrand, Bruno Langenstein, Dirk Leinenbach, Michal Moskal, Steven Obua, Wolfgang J. Paul, Hristo Pentchev, Elena Petrova, Thomas Santen, Norbert Schirmer, Sabine Schmaltz, Wolfram Schulte, Andrey Shadrin, Stephan Tobies, Alexandra Tsyban, and Sergey Tverdyshev, Invariants, Modularity, and Rights, in Perspectives of Systems Informatics, 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009. Revised Papers, Springer, 2009

2008

• Patrice Godefroid, Peli de Halleux, Michael Y. Levin, Aditya V. Nori, Sriram K. Rajamani, Wolfram Schulte, and Nikolai Tillmann, Automated Software Testing Using Program Analysis, in IEEE Software, IEEE Computer Society, October 2008
• Tao Xie, Nikolai Tillmann, Peli de Halleux, and Wolfram Schulte, Fitness-Guided Path Exploration in Dynamic Symbolic Execution, no. MSR-TR-2008-123, September 2008
• Ethan K. Jackson and Wolfram Schulte, Synthesis of Cloud Applications using Logic Programming: BAM!, Microsoft Research, September 2008
• Margus Veanes and Wolfram Schulte, Protocol Modeling with Model Program Composition, in FORTE'08, Springer Verlag, June 2008
• Ethan K. Jackson and Wolfram Schulte, Model Generation for Horn Logic with Stratified Negation, in Formal Techniques for Networked and Distributed Systems – FORTE 2008, Springer Verlag, 2008
• Stefan Maus, Michal Moskal, and Wolfram Schulte, Vx86: x86 Assembler Simulated in C Powered by Automated Theorem Proving, in AMAST, Springer, 2008
• Ethan K. Jackson and Wolfram Schulte, Compositional Modeling for Data-Centric Business Applications, in Software Composition, Springer, 2008
• Bart Jacobs 0002, Frank Piessens, Jan Smans, K. Rustan M. Leino, and Wolfram Schulte, A programming model for concurrent object-oriented programs, in ACM Trans. Program. Lang. Syst., vol. 31, no. 1, Association for Computing Machinery, Inc., 2008
• Matko Botincan, Matthew Parkinson, and Wolfram Schulte, Separation Logic Verification of C Programs with an SMT Solver, in Electronic Notes in Theoretical Computer Science (ENTCS), Association for Computing Machinery, Inc., 2008
• Jan Smans, Bart Jacobs 0002, Frank Piessens, and Wolfram Schulte, An Automatic Verifier for Java-Like Programs Based on Dynamic Frames, in FASE, Springer, 2008
• Ethan K. Jackson, Wolfram Schulte, and Janos Sztipanovits, The Power of Rich Syntax for Model-based Development, Microsoft Research, 2008
• K. Rustan M. Leino, Michal Moskal, and Wolfram Schulte, Verification Condition Splitting, Microsoft Research, 2008
• Dries Vanoverberghe, Nikolaj Bjørner, Jonathan de Halleux, Wolfram Schulte, and Nikolai Tillmann, Using Dynamic Symbolic Execution to Improve Deductive Verification, in Proc. 15th International SPIN Workshop, Springer Verlag, 2008
• Margus Veanes, Colin Campbell, Wolfgang Grieskamp, Wolfram Schulte, Nikolai Tillmann, and Lev Nachmanson, Model-Based Testing of Object-Oriented Reactive Systems with Spec Explorer, in Formal Methods and Testing, vol. 4949, pp. 39-76, Springer Verlag, 2008
• Markus Dahlweid, Michal Moskal, Thomas Santen, Stephan Tobies, and Wolfram Schulte, VCC: Contract-based Modular Verification of Concurrent C, in 31st International Conference on Software Engineering, ICSE 2009, IEEE Computer Society, 2008
• Jonathan Jacky, Margus Veanes, Colin Campbell, and Wolfram Schulte, Model-Based Software Testing and Analysis with C#, Cambridge University Press, January 2008

2007

• Margus Veanes, Colin Campbell, and Wolfram Schulte, Composition of Model Programs, in FORTE, Springer Verlag, June 2007
• K. Rustan M. Leino and Wolfram Schulte, Using History Invariants to Verify Observers, in ESOP, Springer, 2007
• K. Rustan M. Leino and Wolfram Schulte, A verifying compiler for a multi-threaded object-oriented language, in Software Systems Reliability and Security: Volume 9 NATO Security through Science Series: Information and Communication Security , IOS Press, 2007
• Margus Veanes, Colin Campbell, and Wolfram Schulte, Parallel and Serial Composition of Model Programs, no. MSR-TR-2007-22, 2007

2006

• K. Rustan M. Leino and Wolfram Schulte, Verified Software: Theories, Tools, and Experiments, VSTTE 2006, Workshop proceedings, no. MSR-TR-2006-117, August 2006
• Nikolai Tillmann and Wolfram Schulte, Unit Tests Reloaded: Parameterized Unit Testing with Symbolic Execution, in IEEE Software, vol. 23, no. 4, pp. 38-47, IEEE, July 2006
• Nikolai Tillmann, Feng Chen, and Wolfram Schulte, Discovering Likely Method Specifications, no. MSR-TR-2005-146, March 2006
• Wolfgang Grieskamp, Nikolai Tillmann, and Wolfram Schulte, XRT- Exploring Runtime for .NET Architecture and Applications, in Electr. Notes Theor. Comput. Sci., vol. 144, no. 3, pp. 3-26, 2006
• Nikolai Tillmann, Feng Chen, and Wolfram Schulte, Discovering Likely Method Specifications, in Proceedings of the 8th International Conference on Formal Engineering Methods (ICFEM’06), LNCS , Springer Verlag, 2006
• Michael Barnett, David A. Naumann, Wolfram Schulte, and Qi Sun, Allowing State Changes in Specifications, in ETRICS, Springer, 2006
• Nikolai Tillmann and Wolfram Schulte, Mock-object generation with behavior, in Automated Software Engineering, 2006. ASE '06. 21st IEEE/ACM International Conference on, IEEE Computer Society, 2006

2005

• Mike Barnett, Robert DeLine, Bart Jacobs, Manuel Fahndrich, Rustan Leino, Wolfram Schulte, and Herman Venter, The Spec# programming system: Challenges and directions., in Verified Software: Theories, Tools, Experiments (LNCS4171, ISSN 0302-9743), Springer Verlag, 10 October 2005
• Wolfgang Grieskamp, Nikolai Tillmann, Colin Campbell, Wolfram Schulte, and Margus Veanes, Action Machines - Towards a Framework for Model Composition, Exploration and Conformance Testing Based on Symbolic Computation, in Quality Software, 2005. (QSIC 2005). Fifth International Conference on , IEEE Computer Society, September 2005
• Bart Jacobs, K. Rustan M. Leino, Frank Piessens, and Wolfram Schulte, Safe Concurrency for Aggregate Objects with Invariants: Soundness Proof, no. MSR-TR-2005-85, June 2005
• Gavin M. Bierman, Erik Meijer, and Wolfram Schulte, The Essence of Data Access in Comega, in ECOOP, Springer, 2005
• Colin Campbell, Wolfgang Grieskamp, Lev Nachmanson, Wolfram Schulte, Nikolai Tillmann, and Margus Veanes, Testing Concurrent Object-Oriented Systems with Spec Explorer, in FM, Springer, 2005
• Mike Barnett, K. Rustan M. Leino, and Wolfram Schulte, The Spec# Programming System: An Overview, in CASSIS 2004, Construction and Analysis of Safe, Secure and Interoperable Smart devices, Springer, 2005
• Margus Veanes, Colin Campbell, Wolfram Schulte, and Nikolai Tillmann, Online testing with model programs, in ESEC/SIGSOFT FSE, ACM, 2005
• Bart Jacobs, Frank Piessens, K. Rustan M. Leino, and Wolfram Schulte, Safe Concurrency for Aggregate Objects with Invariants, in SEFM, IEEE Computer Society, 2005
• Nikolai Tillmann and Wolfram Schulte, Parameterized Unit Tests with Unit Meister, in Proceedings of the 10th European Software Engineering Conference held jointly with 13th ACM SIGSOFT International Symposium on Foundations of Software Engineering, Association for Computing Machinery, Inc., 2005
• Margus Veanes, Colin Campbell, Wolfram Schulte, and Pushmeet Kohli, On-The-Fly Testing of Reactive Systems, no. MSR-TR-2005-05, January 2005
• Nikolai Tillmann and Wolfram Schulte, Parameterized Unit Tests, in Proceedings of the 10th European Software Engineering Conference held jointly with 13th ACM SIGSOFT International Symposium on Foundations of Software Engineering, Association for Computing Machinery, Inc., 2005
• Yuri Gurevich, Benjamin Rossman, and Wolfram Schulte, Semantic essence of AsmL, in Theor. Comput. Sci., vol. 343, no. 3, pp. 370-412, 2005
• Tao Xie, Darko Marinov, Wolfram Schulte, and David Notkin, Symstra: A Framework for Generating Object-Oriented Unit Tests Using Symbolic Execution, in TACAS, Springer, 2005
• Dean Rosenzweig, Davor Runje, and Wolfram Schulte, Model-Based Testing of Cryptographic Protocols, in TGC, Springer, 2005

2004

• Mike Barnett, Robert DeLine, Manuel Fähndrich, K. Rustan M. Leino, and Wolfram Schulte, Verification of object-oriented programs with invariants, in Journal of Object Technology, vol. 3, no. 6, pp. 27-56, Technical report 408, Department of Computer Science, ETH Zurich, June 2004
• Mike Barnett, Wolfgang Grieskamp, Lev Nachmanson, Wolfram Schulte, Nikolai Tillmann, and Margus Veanes, Towards a Tool Environment for Model-Based Testing with AsmL, in FATES 2003, Springer Verlag, 2004
• Lev Nachmanson, Margus Veanes, Wolfram Schulte, Nikolai Tillmann, and Wolfgang Grieskamp, Optimal strategies for testing nondeterministic systems, in ISSTA 2004, ACM, 2004
• Editors, Jim Davies, Wolfram Schulte, and Mike Barnett, Formal Methods and Software Engineering, 6th International Conference on Formal Engineering Methods, ICFEM 2004, Springer Verlag, 2004
• K. Rustan M. Leino and Wolfram Schulte, Exception Safety for C#, in SEFM, IEEE Computer Society, 2004

2003

• Erik Meijer and Wolfram Schulte, Unifying Tables, Objects and Documents, in Proceedings of Declarative Programming in the Context of OO Languages (DP-COOL 2003), August 2003
• Mike Barnett, Rob DeLine, Manuel Fähndrich, K. Rustan M. Leino, and Wolfram Schulte, Verification of Object-Oriented Programs With Invariants, in Formal Techniques for Java-like Programs (FTfJP), July 2003
• Mike Barnett, Wolfgang Grieskamp, Clemens Kerer, Wolfram Schulte, Clemens Szyperski, Nikolai Tillmann, and Arthur Watson, Serious Specification for Composing Components, in Proceedings of the 6th ICSE Workshop on Component-Based Software Engineering: Automated Reasoning and Prediction, May 2003
• Michael Barnett, Wolfram Schulte, and Nikolai Tillmann, Using AsmL for Runtime Verification, in Abstract State Machines, Advances in Theory and Practice, 10th International Workshop, ASM 2003, Springer Verlag, March 2003
• Mike Barnett, Wolfram Schulte, and Nikolai Tillmann, .NET Contracts: Attaching Specifications to Components, in Practical Foundations of Business System Specifications, pp. 83–98, Springer Verlag, 2003
• Michael Barnett, Wolfgang Grieskamp, Wolfram Schulte, Nikolai Tillmann, and Margus Veanes, Validating Use-Cases with the AsmL Test Tool, in QSIC, IEEE Computer Society, 2003
• Mike Barnett and Wolfram Schulte, Runtime Verification of .NET Contracts, in The Journal of Systems and Software, no. 3, pp. 199–208, Elsevier, 2003
• Mike Barnett, Wolfgang Grieskamp, Lev Nachmanson, Wolfram Schulte, Nikolai Tillmann, and Margus Veanes, Model-Based Testing with AsmL .NET, in 1st European Conference on Model-Driven Software Engineering, 2003

2002

• Wolfgang Grieskamp, Yuri Gurevich, Wolfram Schulte, and Margus Veanes, Generating finite state machines from abstract state machines, in ISSTA 2002, July 2002

2001

• Mike Barnett and Wolfram Schulte, The ABCs of Specification: AsmL, Behavior, and Components, in Informatica, vol. 25, no. 4, pp. 517–526, November 2001
• Yuri Gurevich, Wolfram Schulte, and Margus Veanes, Toward Industrial Strength Abstract State Machines, no. MSR-TR-2001-98, October 2001
• Mike Barnett and Wolfram Schulte, Spying on Components: A Runtime Verification Technique, in Workshop on Specification and Verification of Component-Based Systems, October 2001
• Wolfgang Grieskamp, Yuri Gurevich, Wolfram Schulte, and Margus Veanes, Conformance Testing with Abstract State Machines, in EUROCAST 2001, February 2001
• Wolfgang Grieskamp, Markus Lepper, Wolfram Schulte, and Nikolai Tillmann, Testable Use Cases in the Abstract State Machine Language, in Proc. 2nd Asia-Pacific Conference on Quality Software (APAQS 2001), IEEE Computer Society, 2001

1999

• Egon Börger and Wolfram Schulte, A Programmer Friendly Modular Definition of the Semantics of Java, in Formal Syntax and Semantics of Java, vol. 1523, pp. 353-404, Springer Verlag, 1999