| Pex–white box test generation for. net N Tillmann, J De Halleux International conference on tests and proofs, 134-153, 2008 | 1062 | 2008 |
| Symbolic execution for software testing in practice: preliminary assessment C Cadar, P Godefroid, S Khurshid, CS Pasareanu, K Sen, N Tillmann, ... 2011 33rd International Conference on Software Engineering (ICSE), 1066-1071, 2011 | 396 | 2011 |
| Demand-driven compositional symbolic execution S Anand, P Godefroid, N Tillmann International Conference on Tools and Algorithms for the Construction and …, 2008 | 292 | 2008 |
| Parameterized unit tests N Tillmann, W Schulte ACM SIGSOFT Software Engineering Notes 30 (5), 253-262, 2005 | 273 | 2005 |
| 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 | 261 | 2009 |
| DySy C Csallner, N Tillmann, Y Smaragdakis 2008 ACM/IEEE 30th International Conference on Software Engineering, 281-290, 2008 | 255 | 2008 |
| 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 | 229 | 2008 |
| Approximating finite domains in symbolic state exploration N Tillmann, W Grieskamp, W Schulte US Patent 8,533,680, 2013 | 208 | 2013 |
| Path feasibility analysis for string-manipulating programs N Bjørner, N Tillmann, A Voronkov International Conference on Tools and Algorithms for the Construction and …, 2009 | 205 | 2009 |
| Rex: Symbolic regular expression explorer M Veanes, P De Halleux, N Tillmann 2010 Third International Conference on Software Testing, Verification and …, 2010 | 154 | 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 | 136 | 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 | 133 | 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 | 132 | 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 | 123 | 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 | 105 | 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 | 104 | 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 | 103 | 2013 |
| Flopsy-search-based floating point constraint solving for symbolic execution K Lakhotia, N Tillmann, M Harman, J De Halleux IFIP International Conference on Testing Software and Systems, 142-157, 2010 | 103 | 2010 |
| Unit test generalization N Tillmann, W Grieskamp, W Schulte US Patent 7,587,636, 2009 | 101 | 2009 |
| Unit tests reloaded: Parameterized unit testing with symbolic execution N Tillmann, W Schulte IEEE software 23 (4), 38-47, 2006 | 100 | 2006 |
Wolfram SchultePrincipal researcher, Microsoft Corporation確認したメール アドレス: microsoft.com
