Nikolai Tillmann
Nikolai Tillmann
Software Engineer
Verified email at - Homepage
TitleCited byYear
Pex–white box test generation for. net
N Tillmann, J De Halleux
International conference on tests and proofs, 134-153, 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
Demand-driven compositional symbolic execution
S Anand, P Godefroid, N Tillmann
International Conference on Tools and Algorithms for the Construction and†…, 2008
Parameterized unit tests
N Tillmann, W Schulte
ACM SIGSOFT Software Engineering Notes 30 (5), 253-262, 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
DySy: Dynamic symbolic execution for invariant inference
C Csallner, N Tillmann, Y Smaragdakis
Proceedings of the 30th international conference on Software engineering†…, 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
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
Rex: Symbolic regular expression explorer
M Veanes, P De Halleux, N Tillmann
2010 Third International Conference on Software Testing, Verification and†…, 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
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
SPUR: a trace-based JIT compiler for CIL
M Bebenita, F Brandner, M Fahndrich, F Logozzo, W Schulte, N Tillmann, ...
ACM Sigplan Notices 45 (10), 708-725, 2010
Teaching and learning programming and software engineering via interactive gaming
N Tillmann, J De Halleux, T Xie, S Gulwani, J Bishop
Proceedings of the 2013 International Conference on Software Engineering†…, 2013
Model-based testing of object-oriented reactive systems with Spec Explorer
C Campbell, W Grieskamp, L Nachmanson, W Schulte, N Tillmann, ...
Technical Report MSR-TR-2005-59, Microsoft Research, 2005
MSeqGen: Object-oriented unit-test generation via mining source code
S Thummalapenta, T Xie, N Tillmann, J De Halleux, W Schulte
Proceedings of the the 7th joint meeting of the European software†…, 2009
Unit tests reloaded: Parameterized unit testing with symbolic execution
N Tillmann, W Schulte
IEEE software 23 (4), 38-47, 2006
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
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
Optimal strategies for testing nondeterministic systems
L Nachmanson, M Veanes, W Schulte, N Tillmann, W Grieskamp
ACM SIGSOFT Software Engineering Notes 29 (4), 55-64, 2004
A model-to-implementation mapping tool for automated model-based GUI testing
ACR Paiva, JCP Faria, N Tillmann, RAM Vidal
International Conference on Formal Engineering Methods, 450-464, 2005
The system can't perform the operation now. Try again later.
Articles 1–20