| The Spec# programming system: An overview M Barnett, KRM Leino, W Schulte Construction and Analysis of Safe, Secure, and Interoperable Smart Devices …, 2005 | 1410 | 2005 |
| VCC: A practical system for verifying concurrent C E Cohen, M Dahlweid, M Hillebrand, D Leinenbach, M Moskal, T Santen, ... Theorem Proving in Higher Order Logics: 22nd International Conference …, 2009 | 804 | 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 | 445 | 2004 |
| The design of a task parallel library D Leijen, W Schulte, S Burckhardt Acm Sigplan Notices 44 (10), 227-242, 2009 | 372 | 2009 |
| Symstra: A framework for generating object-oriented unit tests using symbolic execution T Xie, D Marinov, W Schulte, D Notkin Tools and Algorithms for the Construction and Analysis of Systems: 11th …, 2005 | 363 | 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: An Outcome of the FORTEST Network, Revised …, 2008 | 351* | 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 | 308 | 2009 |
| Parameterized unit tests N Tillmann, W Schulte ACM SIGSOFT Software Engineering Notes 30 (5), 253-262, 2005 | 305 | 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 | 273 | 2002 |
| Approximating finite domains in symbolic state exploration N Tillmann, W Grieskamp, W Schulte US Patent 8,533,680, 2013 | 249 | 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 | 223 | 2011 |
| An Approach for Effective Design Space Exploration. E Kang, EK Jackson, W Schulte Monterey Workshop 6662, 33-54, 2010 | 200 | 2010 |
| Controllable combinatorial coverage in grammar-based testing R Lämmel, W Schulte TestCom 3964, 19-38, 2006 | 171 | 2006 |
| A programmer friendly modular definition of the semantics of Java E Börger, W Schulte Formal Syntax and Semantics of Java, 353-404, 1999 | 168 | 1999 |
| The Essence of Data Access in Cω The Power is in the Dot! G Bierman, E Meijer, W Schulte ECOOP 2005-Object-Oriented Programming: 19th European Conference, Glasgow …, 2005 | 155 | 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 | 153 | 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 | 144 | 2010 |
| Model-based software testing and analysis with C J Jacky, M Veanes, C Campbell, W Schulte Cambridge University Press, 2007 | 144 | 2007 |
| 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 | 122 | 2009 |
| 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 | 119 | 2009 |
