| The Spec# programming system: An overview M Barnett, KRM Leino, W Schulte International Workshop on Construction and Analysis of Safe, Secure, and …, 2004 | 1304 | 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 | 680 | 2009 |
| 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 | 409 | 2004 |
| 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 | 326 | 2005 |
| The design of a task parallel library D Leijen, W Schulte, S Burckhardt Acm Sigplan Notices 44 (10), 227-242, 2009 | 320 | 2009 |
| 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 | 310* | 2008 |
| Parameterized unit tests N Tillmann, W Schulte ACM SIGSOFT Software Engineering Notes 30 (5), 253-262, 2005 | 263 | 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 | 262 | 2002 |
| 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 | 248 | 2009 |
| 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 | 179 | 2011 |
| Approximating finite domains in symbolic state exploration N Tillmann, W Grieskamp, W Schulte US Patent 8,533,680, 2013 | 169 | 2013 |
| Semantic essence of AsmL Y Gurevich, B Rossman, W Schulte Theoretical Computer Science 343 (3), 370-412, 2005 | 165 | 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 | 157 | 1999 |
| Controllable combinatorial coverage in grammar-based testing R Lämmel, W Schulte IFIP International Conference on Testing of Communicating Systems, 19-38, 2006 | 143 | 2006 |
| The essence of data access in Cω G Bierman, E Meijer, W Schulte European Conference on Object-Oriented Programming, 287-311, 2005 | 140 | 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 | 129 | 2008 |
| 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 | 128 | 2010 |
| Model-based software testing and analysis with C J Jacky, M Veanes, C Campbell, W Schulte Cambridge University Press, 2007 | 128 | 2007 |
| An approach for effective design space exploration E Kang, E Jackson, W Schulte Monterey Workshop, 33-54, 2010 | 111 | 2010 |
| 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 | 108 | 2009 |
