Wolfram Schulte
Wolfram Schulte
Principal researcher, Microsoft Corporation
Dirección de correo verificada de - Página principal
Citado por
Citado por
The Spec# programming system: An overview
M Barnett, KRM Leino, W Schulte
International Workshop on Construction and Analysis of Safe, Secure, and …, 2004
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
Verification of object-oriented programs with invariants.
M Barnett, R DeLine, M Fähndrich, KRM Leino, W Schulte
J. Object Technol. 3 (6), 27-56, 2004
The design of a task parallel library
D Leijen, W Schulte, S Burckhardt
Acm Sigplan Notices 44 (10), 227-242, 2009
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
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
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
Parameterized unit tests
N Tillmann, W Schulte
ACM SIGSOFT Software Engineering Notes 30 (5), 253-262, 2005
Generating finite state machines from abstract state machines
W Grieskamp, Y Gurevich, W Schulte, M Veanes
Proceedings of the 2002 ACM SIGSOFT international symposium on Software …, 2002
Approximating finite domains in symbolic state exploration
N Tillmann, W Grieskamp, W Schulte
US Patent 8,533,680, 2013
Specification and verification: the Spec# experience
M Barnett, M Fähndrich, KRM Leino, P Müller, W Schulte, H Venter
Communications of the ACM 54 (6), 81-91, 2011
An approach for effective design space exploration
E Kang, E Jackson, W Schulte
Monterey Workshop, 33-54, 2010
Controllable combinatorial coverage in grammar-based testing
R Lämmel, W Schulte
IFIP International Conference on Testing of Communicating Systems, 19-38, 2006
Semantic essence of AsmL
Y Gurevich, B Rossman, W Schulte
Theoretical Computer Science 343 (3), 370-412, 2005
A programmer friendly modular definition of the semantics of Java
E Börger, W Schulte
Formal Syntax and Semantics of Java, 353-404, 1999
The essence of data access in Cω
G Bierman, E Meijer, W Schulte
European Conference on Object-Oriented Programming, 287-311, 2005
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
Model-based software testing and analysis with C
J Jacky, M Veanes, C Campbell, W Schulte
Cambridge University Press, 2007
SPUR: a trace-based JIT compiler for CIL
M Bebenita, F Brandner, M Fahndrich, F Logozzo, W Schulte, N Tillmann, ...
Proceedings of the ACM international conference on Object oriented …, 2010
MSeqGen: Object-oriented unit-test generation via mining source code
S Thummalapenta, T Xie, N Tillmann, J De Halleux, W Schulte
Proceedings of the 7th joint meeting of the European software engineering …, 2009
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20