| Pex–white box test generation for. net N Tillmann, J De Halleux Tests and Proofs: Second International Conference, TAP 2008, Prato, Italy …, 2008 | 1225 | 2008 |
| Symbolic execution for software testing in practice: preliminary assessment C Cadar, P Godefroid, S Khurshid, CS Păsăreanu, K Sen, N Tillmann, ... Proceedings of the 33rd International Conference on Software Engineering …, 2011 | 472 | 2011 |
| Demand-driven compositional symbolic execution S Anand, P Godefroid, N Tillmann Tools and Algorithms for the Construction and Analysis of Systems: 14th …, 2008 | 336 | 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 | 316 | 2009 |
| Parameterized unit tests N Tillmann, W Schulte ACM SIGSOFT Software Engineering Notes 30 (5), 253-262, 2005 | 307 | 2005 |
| DySy: Dynamic symbolic execution for invariant inference C Csallner, N Tillmann, Y Smaragdakis Proceedings of the 30th international conference on Software engineering …, 2008 | 295 | 2008 |
| Approximating finite domains in symbolic state exploration N Tillmann, W Grieskamp, W Schulte US Patent 8,533,680, 2013 | 253 | 2013 |
| 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 | 253 | 2008 |
| Path feasibility analysis for string-manipulating programs N Bjørner, N Tillmann, A Voronkov Tools and Algorithms for the Construction and Analysis of Systems: 15th …, 2009 | 231 | 2009 |
| Rex: Symbolic regular expression explorer M Veanes, P De Halleux, N Tillmann 2010 Third International Conference on Software Testing, Verification and …, 2010 | 190 | 2010 |
| 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 | 152 | 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 | 146 | 2010 |
| Touchdevelop: Programming cloud-connected mobile devices via touchscreen N Tillmann, M Moskal, J De Halleux, M Fahndrich Proceedings of the 10th SIGPLAN symposium on New ideas, new paradigms, and …, 2011 | 142 | 2011 |
| Teaching and learning programming and software engineering via interactive gaming N Tillmann, J De Halleux, T Xie, S Gulwani, J Bishop 2013 35th International Conference on Software Engineering (ICSE), 1117-1126, 2013 | 136 | 2013 |
| Test generation via dynamic symbolic execution for mutation testing L Zhang, T Xie, L Zhang, N Tillmann, J De Halleux, H Mei 2010 IEEE international conference on software maintenance, 1-10, 2010 | 131 | 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 | 124 | 2009 |
| It's alive! continuous feedback in UI programming S Burckhardt, M Fahndrich, P De Halleux, S McDirmid, M Moskal, ... Proceedings of the 34th ACM SIGPLAN conference on Programming language …, 2013 | 121 | 2013 |
| Unit tests reloaded: Parameterized unit testing with symbolic execution N Tillmann, W Schulte IEEE software 23 (4), 38-47, 2006 | 118 | 2006 |
| Flopsy-search-based floating point constraint solving for symbolic execution K Lakhotia, N Tillmann, M Harman, J De Halleux Testing Software and Systems: 22nd IFIP WG 6.1 International Conference …, 2010 | 116 | 2010 |
| Synthesizing method sequences for high-coverage testing S Thummalapenta, T Xie, N Tillmann, J De Halleux, Z Su ACM SIGPLAN Notices 46 (10), 189-206, 2011 | 114 | 2011 |
Wolfram SchultePrincipal researcher, Microsoft CorporationVerified email at microsoft.com
