Seguir
Wolfram Schulte
Wolfram Schulte
Principal researcher, Microsoft Corporation
Dirección de correo verificada de microsoft.com - Página principal
Título
Citado por
Citado por
Año
The Spec# programming system: An overview
M Barnett, KRM Leino, W Schulte
International Workshop on Construction and Analysis of Safe, Secure, and …, 2004
13862004
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
7812009
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
4412004
The design of a task parallel library
D Leijen, W Schulte, S Burckhardt
Acm Sigplan Notices 44 (10), 227-242, 2009
3652009
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
3612005
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
349*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
3012009
Parameterized unit tests
N Tillmann, W Schulte
ACM SIGSOFT Software Engineering Notes 30 (5), 253-262, 2005
3002005
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
2752002
Approximating finite domains in symbolic state exploration
N Tillmann, W Grieskamp, W Schulte
US Patent 8,533,680, 2013
2452013
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
2172011
An approach for effective design space exploration
E Kang, E Jackson, W Schulte
Monterey Workshop, 33-54, 2010
1812010
Controllable combinatorial coverage in grammar-based testing
R Lämmel, W Schulte
IFIP International Conference on Testing of Communicating Systems, 19-38, 2006
1702006
Semantic essence of AsmL
Y Gurevich, B Rossman, W Schulte
Theoretical Computer Science 343 (3), 370-412, 2005
1682005
A programmer friendly modular definition of the semantics of Java
E Börger, W Schulte
Formal Syntax and Semantics of Java, 353-404, 1999
1651999
The essence of data access in Cω
G Bierman, E Meijer, W Schulte
European Conference on Object-Oriented Programming, 287-311, 2005
1562005
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
1462008
Model-based software testing and analysis with C
J Jacky, M Veanes, C Campbell, W Schulte
Cambridge University Press, 2007
1442007
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
1412010
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
1182009
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20