Filter Results:
- Full text PDF available (95)
Publication Year
1991
2017
- This year (0)
- Last 5 years (18)
- Last 10 years (84)
Publication Type
Co-author
Journals and Conferences
Learn More
The Spec# programming system is a new attempt at a more cost effective way to develop and maintain high-quality software. This paper describes the goals and architecture of the Spec# programming… (More)
- Ernie Cohen, Markus Dahlweid, +5 authors Stephan Tobies
- TPHOLs
- 2009
VCC is an industrial-strength verification environment for low-level concurrent system code written in C. VCC takes a program (annotated with function contracts, state assertions, and type… (More)
- Michael Barnett, Robert DeLine, Manuel Fähndrich, K. Rustan M. Leino, Wolfram Schulte
- Journal of Object Technology
- 2004
This extended abstract outlines a system for the modular verification of an object-oriented programming language. While simplified, the language has object and array references, single-inheritance… (More)
- Margus Veanes, Colin Campbell, Wolfgang Grieskamp, Wolfram Schulte, Nikolai Tillmann, Lev Nachmanson
- Formal Methods and Testing
- 2008
Testing is one of the costliest aspects of commercial software development. Model-based testing is a promising approach addressing these deficits. At Microsoft, model-based testing technology… (More)
- Daan Leijen, Wolfram Schulte, Sebastian Burckhardt
- OOPSLA
- 2009
The Task Parallel Library (TPL) is a library for .NET that makes it easy to take advantage of potential parallelism in a program. The library relies heavily on generics and delegate expressions to… (More)
- Tao Xie, Darko Marinov, Wolfram Schulte, David Notkin
- TACAS
- 2005
Object-oriented unit tests consist of sequences of method i nvocations. Behavior of an invocation depends on the method’s arguments and the state of the receiver at the beginning of the invocation.… (More)
- Yuri Gurevich, Benjamin Rossman, Wolfram Schulte
- FMCO
- 2003
The Abstract State Machine Language, AsmL, is a novel executable specification language based on the theory of Abstract State Machines. AsmL is object-oriented, provides high-level mathematical… (More)
- Nikolai Tillmann, Wolfram Schulte
- ESEC/SIGSOFT FSE
- 2005
Parameterized unit tests extend the current industry practice of using closed unit tests defined as parameterless methods. Parameterized unit tests separate two concerns: 1) They specify the external… (More)
- Wolfgang Grieskamp, Yuri Gurevich, Wolfram Schulte, Margus Veanes
- ISSTA
- 2002
We give an algorithm that derives a finite state machine (FSM) from a given abstract state machine (ASM) specification. This allows us to integrate ASM specs with the existing tools for test case… (More)
- Michael Bebenita, Florian Brandner, +4 authors Herman Venter
- OOPSLA
- 2010
Tracing just-in-time compilers (TJITs) determine frequently executed traces (hot paths and loops) in running programs and focus their optimization effort by emitting optimized machine code… (More)