Wolfram Schulte
Wolfram Schulte
Principal researcher, Microsoft Corporation
Verified email at microsoft.com - Homepage
TitleCited byYear
The Spec# programming system: An overview
M Barnett, KRM Leino, W Schulte
International Workshop on Construction and Analysis of Safe, Secure, and …, 2004
12402004
VCC: A practical system for verifying concurrent C
E Cohen, M Dahlweid, M Hillebrand, D Leinenbach, M Moskal, T Santen, ...
International Conference on Theorem Proving in Higher Order Logics, 23-42, 2009
6072009
Verification of Object-Oriented Programs with Invariants.
M Barnett, R DeLine, M Fähndrich, KRM Leino, W Schulte
Journal of Object Technology 3 (6), 27-56, 2004
3992004
Symstra: A framework for generating object-oriented unit tests using symbolic execution
T Xie, D Marinov, W Schulte, D Notkin
International Conference on Tools and Algorithms for the Construction and …, 2005
3082005
Model-based testing of object-oriented reactive systems with Spec Explorer
M Veanes, C Campbell, W Grieskamp, W Schulte, N Tillmann, ...
Formal methods and testing, 39-76, 2008
296*2008
The design of a task parallel library
D Leijen, W Schulte, S Burckhardt
Acm Sigplan Notices 44 (10), 227-242, 2009
2902009
Generating finite state machines from abstract state machines
W Grieskamp, Y Gurevich, W Schulte, M Veanes
ACM SIGSOFT Software Engineering Notes 27 (4), 112-122, 2002
2462002
Parameterized unit tests
N Tillmann, W Schulte
ACM SIGSOFT Software Engineering Notes 30 (5), 253-262, 2005
2422005
Fitness-guided path exploration in dynamic symbolic execution
T Xie, N Tillmann, J de Halleux, W Schulte
2009 IEEE/IFIP International Conference on Dependable Systems & Networks …, 2009
2222009
Semantic essence of AsmL
Y Gurevich, B Rossman, W Schulte
Theoretical Computer Science 343 (3), 370-412, 2005
1632005
Specification and verification: the Spec# experience.
M Barnett, M Fähndrich, KRM Leino, P Müller, W Schulte, H Venter
Commun. ACM 54 (6), 81-91, 2011
1582011
A programmer friendly modular definition of the semantics of Java
E Börger, W Schulte
Formal Syntax and Semantics of Java, 353-404, 1999
1531999
The essence of data access in Cω
G Bierman, E Meijer, W Schulte
European Conference on Object-Oriented Programming, 287-311, 2005
1302005
Controllable combinatorial coverage in grammar-based testing
R Lämmel, W Schulte
IFIP International Conference on Testing of Communicating Systems, 19-38, 2006
1252006
Automating software testing using program analysis
P Godefroid, P de Halleux, AV Nori, SK Rajamani, W Schulte, N Tillmann, ...
IEEE software 25 (5), 30-37, 2008
1222008
Model-based software testing and analysis with C
J Jacky, M Veanes, C Campbell, W Schulte
Cambridge University Press, 2007
1212007
SPUR: a trace-based JIT compiler for CIL
M Bebenita, F Brandner, M Fahndrich, F Logozzo, W Schulte, N Tillmann, ...
ACM Sigplan Notices 45 (10), 708-725, 2010
1122010
VCC: Contract-based modular verification of concurrent C
M Dahlweid, M Moskal, T Santen, S Tobies, W Schulte
2009 31st International Conference on Software Engineering-Companion Volume …, 2009
912009
The Spec# programming system: Challenges and directions
M Barnett, R DeLine, M Fähndrich, B Jacobs, KRM Leino, W Schulte, ...
Working Conference on Verified Software: Theories, Tools, and Experiments …, 2005
902005
A precise yet efficient memory model for C
E Cohen, M Moskal, S Tobies, W Schulte
Electronic Notes in Theoretical Computer Science 254, 85-103, 2009
882009
The system can't perform the operation now. Try again later.
Articles 1–20