Wolfram Schulte

Ubiquity, 2014

Automated migration of build scripts using dynamic analysis and search-based refactoring.

[BibT_eX]

[DOI]

Proceedings of the 2014 ACM International Conference on Object Oriented Programming Systems Languages & Applications, 2014

Formalizing and Verifying a Modern Build Language.

[BibT_eX]

[DOI]

Maria Christakis

Proceedings of the FM 2014: Formal Methods, 2014

Data-parallel finite-state machines.

[BibT_eX]

[DOI]

Todd Mytkowicz

Madanlal Musuvathi

Proceedings of the Architectural Support for Programming Languages and Operating Systems, 2014

2013

CODEMINE: Building a Software Development Data Analytics Platform at Microsoft.

[BibT_eX]

[DOI]

IEEE Softw., 2013

Taking Control of Your Engineering Tools.

[BibT_eX]

[DOI]

Chandra Prasad

Computer, 2013

FORMULA 2.0: A Language for Formal Specifications.

[BibT_eX]

[DOI]

Proceedings of the Unifying Theories of Programming and Formal Engineering Methods, 2013

SIMD parallelization of applications that traverse irregular data structures.

[BibT_eX]

[DOI]

Proceedings of the 2013 IEEE/ACM International Symposium on Code Generation and Optimization, 2013

2012

Thirteen Years of Automated Code Analysis at Microsoft.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods: Foundations and Applications - 15th Brazilian Symposium, 2012

Understanding Specification Languages through Their Model Theory.

[BibT_eX]

[DOI]

Proceedings of the Large-Scale Complex IT Systems. Development, Operation and Management, 2012

Detecting Specification Errors in Declarative Languages with Constraints.

[BibT_eX]

[DOI]

Nikolaj S. Bjørner

Proceedings of the Model Driven Engineering Languages and Systems, 2012

Ten years of automated code analysis at Microsoft (Invited industrial talk).

[BibT_eX]

[DOI]

Proceedings of the 34th International Conference on Software Engineering, 2012

Cancer treatment planning: formal methods to the rescue.

[BibT_eX]

[DOI]

Proceedings of the 4th International Workshop on Software Engineering in Health Care, 2012

Fine-grained parallel traversals of irregular data structures.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Parallel Architectures and Compilation Techniques, 2012

2011

Guest Editors' Introduction: Parallelism on the Desktop.

[BibT_eX]

[DOI]

Victor Pankratius

Kurt Keutzer

IEEE Softw., 2011

Specification and verification: the Spec# experience.

[BibT_eX]

[DOI]

Commun. ACM, 2011

C3: An Experimental, Extensible, Reconfigurable Platform for HTML-based Applications.

[BibT_eX]

[DOI]

Proceedings of the 2nd USENIX Conference on Web Application Development, 2011

Finding Models in Model-Based Development - (Abstract).

[BibT_eX]

[DOI]

Proceedings of the Model Driven Engineering Languages and Systems, 2011

Canonical Regular Types.

[BibT_eX]

[DOI]

Nikolaj S. Bjørner

Proceedings of the Technical Communications of the 27th International Conference on Logic Programming, 2011

2010

HOL-Boogie - An Interactive Prover-Backend for the Verifying C Compiler.

[BibT_eX]

[DOI]

J. Autom. Reason., 2010

Automatic verification of Java programs with dynamic frames.

[BibT_eX]

[DOI]

Formal Aspects Comput., 2010

Future of developer testing: building quality in code.

[BibT_eX]

[DOI]

Proceedings of the Workshop on Future of Software Engineering Research, 2010

Teaching and training developer-testing techniques and tool support.

[BibT_eX]

[DOI]

Proceedings of the Companion to the 25th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2010

SPUR: a trace-based JIT compiler for CIL.

[BibT_eX]

[DOI]

Proceedings of the 25th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2010

An Approach for Effective Design Space Exploration.

[BibT_eX]

[DOI]

Eunsuk Kang

Proceedings of the Foundations of Computer Software. Modeling, Development, and Verification of Adaptive Systems, 2010

Automatic parallelization of programming languages: past, present and future.

[BibT_eX]

[DOI]

Proceedings of the 3rd International Workshop on Multicore Software Engineering, 2010

Reusing Model Transformations While Preserving Properties.

[BibT_eX]

[DOI]

Daniel Balasubramanian

Gabor Karsai

Proceedings of the Fundamental Approaches to Software Engineering, 2010

10111 Executive Summary - Practical Software Testing: Tool Automation and Human Factors.

[BibT_eX]

[DOI]

Proceedings of the Practical Software Testing: Tool Automation and Human Factors, 14.03., 2010

10111 Abstracts Collection - Practical Software Testing : Tool Automation and Human Factors.

[BibT_eX]

[DOI]

Proceedings of the Practical Software Testing: Tool Automation and Human Factors, 14.03., 2010

Local Verification of Global Invariants in Concurrent Programs.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification, 22nd International Conference, 2010

Matching Logic: An Alternative to Hoare/Floyd Logic.

[BibT_eX]

[DOI]

Grigore Rosu

Chucky Ellison

Proceedings of the Algebraic Methodology and Software Technology, 2010

2009

Symbolic Bounded Model Checking of Abstract State Machines.

[BibT_eX]

[DOI]

Int. J. Softw. Informatics, 2009

A Precise Yet Efficient Memory Model For C.

[BibT_eX]

[DOI]

Proceedings of the 4th International Workshop on Systems Software Verification, 2009

Separation Logic Verification of C Programs with an SMT Solver.

[BibT_eX]

[DOI]

Matko Botincan

Matthew J. Parkinson

Proceedings of the 4th International Workshop on Systems Software Verification, 2009

VCC: A Practical System for Verifying Concurrent C.

[BibT_eX]

[DOI]

Proceedings of the Theorem Proving in Higher Order Logics, 22nd International Conference, 2009

Specifying and Composing Non-functional Requirements in Model-Based Development.

[BibT_eX]

[DOI]

Proceedings of the Software Composition - 8th International Conference, 2009

MSeqGen: object-oriented unit-test generation via mining source code.

[BibT_eX]

[DOI]

Proceedings of the 7th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2009

Runtime Verification of C Memory Safety.

[BibT_eX]

[DOI]

Grigore Rosu

Traian-Florin Serbanuta

Proceedings of the Runtime Verification, 9th International Workshop, 2009

The design of a task parallel library.

[BibT_eX]

[DOI]

Daan Leijen

Sebastian Burckhardt

Proceedings of the 24th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2009

Reggae: Automated Test Generation for Programs Using Complex Regular Expressions.

[BibT_eX]

[DOI]

Proceedings of the ASE 2009, 2009

Mutation Analysis of Parameterized Unit Tests.

[BibT_eX]

[DOI]

Proceedings of the Second International Conference on Software Testing Verification and Validation, 2009

Guided path exploration for regression test generation.

[BibT_eX]

[DOI]

Proceedings of the 31st International Conference on Software Engineering, 2009

An Empirical Study of Testing File-System-Dependent Software with Mock Objects.

[BibT_eX]

[DOI]

Proceedings of the 4th International Workshop on Automation of Software Test, 2009

VCC: Contract-based modular verification of concurrent C.

[BibT_eX]

[DOI]

Proceedings of the 31st International Conference on Software Engineering, 2009

Invariants, Modularity, and Rights.

[BibT_eX]

[DOI]

Proceedings of the Perspectives of Systems Informatics, 2009

Fitness-guided path exploration in dynamic symbolic execution.

[BibT_eX]

[DOI]

Proceedings of the 2009 IEEE/IFIP International Conference on Dependable Systems and Networks, 2009

From dependable multi-user to dependable multi-application operating systems: invited talk.

[BibT_eX]

[DOI]

Proceedings of the First ACM Workshop on Secure Execution of Untrusted Code, 2009

2008

A programming model for concurrent object-oriented programs.

[BibT_eX]

[DOI]

ACM Trans. Program. Lang. Syst., 2008

Automating Software Testing Using Program Analysis.

[BibT_eX]

[DOI]

IEEE Softw., 2008

A Static Analysis to Detect Re-Entrancy in Object Oriented Programs.

[BibT_eX]

[DOI]

Manuel Fähndrich

Diego Garbervetsky

J. Object Technol., 2008

Using Dynamic Symbolic Execution to Improve Deductive Verification.

[BibT_eX]

[DOI]

Proceedings of the Model Checking Software, 2008

Compositional Modeling for Data-Centric Business Applications.

[BibT_eX]

[DOI]

Proceedings of the Software Composition - 7th International Symposium, 2008

Workshop on state-space exploration for automated testing (SSEAT 2008).

[BibT_eX]

[DOI]

Darko Marinov

Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, 2008

Model-Based Testing of Object-Oriented Reactive Systems with Spec Explorer.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods and Testing, 2008

Protocol Modeling with Model Program Composition.

[BibT_eX]

[DOI]

Margus Veanes

Proceedings of the Formal Techniques for Networked and Distributed Systems, 2008

Model Generation for Horn Logic with Stratified Negation.

[BibT_eX]

[DOI]

Proceedings of the Formal Techniques for Networked and Distributed Systems, 2008

An Automatic Verifier for Java-Like Programs Based on Dynamic Frames.

[BibT_eX]

[DOI]

Proceedings of the Fundamental Approaches to Software Engineering, 2008

Vx86: x86 Assembler Simulated in C Powered by Automated Theorem Proving.

[BibT_eX]

[DOI]

Stefan Maus

Michal Moskal

Proceedings of the Algebraic Methodology and Software Technology, 2008

2007

Parameterized Unit Testing with Pex: Tutorial.

[BibT_eX]

[DOI]

Jonathan de Halleux

Proceedings of the Testing Techniques in Software Engineering, 2007

Experiments in Verifying Low Level Concurrent C Code.

[BibT_eX]

[DOI]

Proceedings of the 12th International Conference on Engineering of Complex Computer Systems (ICECCS 2007), 2007

Pex - An Intelligent Assistant for Rigorous Developer Testing.

[BibT_eX]

[DOI]

Proceedings of the 12th International Conference on Engineering of Complex Computer Systems (ICECCS 2007), 2007

Composition of Model Programs.

[BibT_eX]

[DOI]

Margus Veanes

Colin Campbell

Proceedings of the Formal Techniques for Networked and Distributed Systems, 2007

Using History Invariants to Verify Observers.

[BibT_eX]

[DOI]

Proceedings of the Programming Languages and Systems, 2007

2006

Unit Tests Reloaded: Parameterized Unit Testing with Symbolic Execution.

[BibT_eX]

[DOI]

IEEE Softw., 2006

A Simple Sequential Reasoning Approach for Sound Modular Verification of Mainstream Multithreaded Programs.

[BibT_eX]

[DOI]

Proceedings of the Thread Verification Workshop, 2006

Challenge problems in software testing.

[BibT_eX]

[DOI]

Proceedings of the Third International Workshop on Software Quality Assurance, 2006

VC generation for functional behavior and non-interference of iterators.

[BibT_eX]

[DOI]

Bart Jacobs

Frank Piessens

Proceedings of the 2006 Conference on Specification and Verification of Component-Based Systems, 2006

Controllable Combinatorial Coverage in Grammar-Based Testing.

[BibT_eX]

[DOI]

Ralf Lämmel

Proceedings of the Testing of Communicating Systems, 2006

Mock-object generation with behavior.

[BibT_eX]

[DOI]

Proceedings of the 21st IEEE/ACM International Conference on Automated Software Engineering (ASE 2006), 2006

Discovering Likely Method Specifications.

[BibT_eX]

[DOI]

Feng Chen

Proceedings of the Formal Methods and Software Engineering, 2006

A Statically Verifiable Programming Model for Concurrent Object-Oriented Programs.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods and Software Engineering, 2006

Allowing State Changes in Specifications.

[BibT_eX]

[DOI]

Proceedings of the Emerging Trends in Information and Communication Security, 2006

2005

Semantic essence of AsmL.

[BibT_eX]

[DOI]

Yuri Gurevich

Benjamin Rossman

Theor. Comput. Sci., 2005

XRT- Exploring Runtime for .NET Architecture and Applications.

[BibT_eX]

[DOI]

Wolfgang Grieskamp

Proceedings of the 3rd Workshop on Software Model Checking, 2005

The Spec# Programming System: Challenges and Directions.

[BibT_eX]

[DOI]

Proceedings of the Verified Software: Theories, 2005

Model-Based Testing of Cryptographic Protocols.

[BibT_eX]

[DOI]

Dean Rosenzweig

Davor Runje

Proceedings of the Trustworthy Global Computing, International Symposium, 2005

Symstra: A Framework for Generating Object-Oriented Unit Tests Using Symbolic Execution.

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2005

Online testing with model programs.

[BibT_eX]

[DOI]

Proceedings of the 10th European Software Engineering Conference held jointly with 13th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2005

Parameterized unit tests.

[BibT_eX]

[DOI]

Proceedings of the 10th European Software Engineering Conference held jointly with 13th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2005

Parameterized unit tests with unit meister.

[BibT_eX]

[DOI]

Proceedings of the 10th European Software Engineering Conference held jointly with 13th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2005

Safe Concurrency for Aggregate Objects with Invariants.

[BibT_eX]

[DOI]

Proceedings of the Third IEEE International Conference on Software Engineering and Formal Methods (SEFM 2005), 2005

Action Machines - Towards a Framework for Model Composition, Exploration and Conformance Testing Based on Symbolic Computation.

[BibT_eX]

[DOI]

Proceedings of the Fifth International Conference on Quality Software (QSIC 2005), 2005

Testing Concurrent Object-Oriented Systems with Spec Explorer.

[BibT_eX]

[DOI]

Proceedings of the FM 2005: Formal Methods, 2005

The Essence of Data Access in C<i>omega</i>.

[BibT_eX]

[DOI]

Gavin M. Bierman

Erik Meijer

Proceedings of the ECOOP 2005, 2005

2004

Verification of Object-Oriented Programs with Invariants.

[BibT_eX]

[DOI]

J. Object Technol., 2004

Exception Safety for C#.

[BibT_eX]

[DOI]

Proceedings of the 2nd International Conference on Software Engineering and Formal Methods (SEFM 2004), 2004

Optimal strategies for testing nondeterministic systems.

[BibT_eX]

[DOI]

Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, 2004

The Spec# Programming System: An Overview.

[BibT_eX]

[DOI]

Mike Barnett

Proceedings of the Construction and Analysis of Safe, 2004

2003

Tool Support for the Interactive Derivation of Formally Correct Functional Programs.

[BibT_eX]

[DOI]

J. Univers. Comput. Sci., 2003

Runtime verification of .NET contracts.

[BibT_eX]

[DOI]

Michael Barnett

J. Syst. Softw., 2003

Validating Use-Cases with the AsmL Test Tool.

[BibT_eX]

[DOI]

Proceedings of the 3rd International Conference on Quality Software (QSIC 2003), 2003

Towards a Tool Environment for Model-Based Testing with AsmL.

[BibT_eX]

[DOI]

Proceedings of the Formal Approaches to Software Testing, 2003

Parallelism versus Nondeterminism - On the Semantics of Abstract State Machines.

[BibT_eX]

[DOI]

Proceedings of the Abstract State Machines, 2003

Using AsmL for Runtime Verification.

[BibT_eX]

[DOI]

Michael Barnett

Proceedings of the Abstract State Machines, 2003

2002

Generating finite state machines from abstract state machines.

[BibT_eX]

[DOI]

Proceedings of the International Symposium on Software Testing and Analysis, 2002

2001

The ABCs of specification: asml, behavior, and components.

[BibT_eX]

Michael Barnett

Informatica (Slovenia), 2001

Testable Use Cases in the Abstract State Machine Language.

[BibT_eX]

[DOI]

Proceedings of the 2nd Asia-Pacific Conference on Quality Software (APAQS 2001), 2001

2000

A Practical Method for Specification and Analysis of Exception Handling - A Java/JVM Case Study.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2000

Initialization problems for Java.

[BibT_eX]

[DOI]

Softw. Concepts Tools, 2000

Why Doesn't Anyone Use Formal Methods?

[BibT_eX]

[DOI]

Proceedings of the Integrated Formal Methods, Second International Conference, 2000

Translating Theory into Practice - Abstract State Machines within Microsoft.

[BibT_eX]

[DOI]

Proceedings of the Computer Science Logic, 2000

Investigating Java Concurrency Using Abstract State Machines.

[BibT_eX]

[DOI]

Yuri Gurevich

Charles Wallace

Proceedings of the Abstract State Machines, 2000

Using Abstract State Machines at Microsoft: A Case Study.

[BibT_eX]

[DOI]

Proceedings of the Abstract State Machines, 2000

1999

A Programmer Friendly Modular Definition of the Semantics of Java.

[BibT_eX]

[DOI]

Proceedings of the Formal Syntax and Semantics of Java, 1999

1998

Defining the Java Virtual Machine as Platform for Provably Correct Java Compilation.

[BibT_eX]

[DOI]

Proceedings of the Mathematical Foundations of Computer Science 1998, 1998

1997

Formale objektorientierte Softwareentwicklung mit Fox.

[BibT_eX]

[DOI]

Inform. Forsch. Entwickl., 1997

A Formal OO Method Inspired by Fusion and Object-Z.

[BibT_eX]

[DOI]

Proceedings of the ZUM '97: The Z Formal Specification Notation, 1997

Functional Object-Oriented Programming with Object-Gofer.

[BibT_eX]

[DOI]

Proceedings of the Informatik '97, 1997

1996

Massive Parallelization of Divide-and-Conquer Algorithms over Powerlists.

[BibT_eX]

[DOI]

Sci. Comput. Program., 1996

The Design of a Functional GUI Library Using Constructor Classes.

[BibT_eX]

[DOI]

Ton Vullinghs

Thilo Schwinn

Proceedings of the Perspectives of System Informatics, 1996

TkGofer: A Functional GUI Library.

[BibT_eX]

[DOI]

Thilo Schwinn

Ton Vullinghs

Proceedings of the Algebraic Methodology and Software Technology, 1996

1995

Erfahrungen bei der Gestaltung eines Software-Grundpraktikums.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering im Unterricht der Hochschulen SEUH '95, 1995

Lightweight GUIs for Functional Programming

[BibT_eX]

[DOI]

Ton Vullinghs

Daniel Tuinman

Proceedings of the Programming Languages: Implementations, 1995

Architecture Independent Massive Parallelization of Divide-and-Conquer Algorithms.

[BibT_eX]

[DOI]

Proceedings of the Mathematics of Program Construction, 1995

1994

Deriving Residual Reference Count Garbage Collectors.

[BibT_eX]

[DOI]

Proceedings of the Programming Language Implementation and Logic Programming, 1994

1992

Effiziente und korrekte Übersetzung strikter und applikativer Programmiersprachen.

[BibT_eX]

[DOI]

PhD thesis, 1992

1991

Generating Efficient Portable Code for a Strict Applicative Language.

[BibT_eX]

[DOI]