Nikolai Tillmann
Nikolai Tillmann
Software Engineer
Verified email at fb.com - Homepage
TitleCited byYear
Pex–white box test generation for. net
N Tillmann, J De Halleux
International conference on tests and proofs, 134-153, 2008
9202008
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
3392011
Demand-driven compositional symbolic execution
S Anand, P Godefroid, N Tillmann
International Conference on Tools and Algorithms for the Construction and†…, 2008
2582008
Parameterized unit tests
N Tillmann, W Schulte
ACM SIGSOFT Software Engineering Notes 30 (5), 253-262, 2005
2532005
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
2282009
DySy: Dynamic symbolic execution for invariant inference
C Csallner, N Tillmann, Y Smaragdakis
Proceedings of the 30th international conference on Software engineering†…, 2008
2222008
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
2092008
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
1752009
Approximating finite domains in symbolic state exploration
N Tillmann, W Grieskamp, W Schulte
US Patent 8,533,680, 2013
1552013
Rex: Symbolic regular expression explorer
M Veanes, P De Halleux, N Tillmann
2010 Third International Conference on Software Testing, Verification and†…, 2010
1282010
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
1262008
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
1232011
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
1122010
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
1032013
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
972005
Unit test generalization
N Tillmann, W Grieskamp, W Schulte
US Patent 7,587,636, 2009
942009
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
912009
Unit tests reloaded: Parameterized unit testing with symbolic execution
N Tillmann, W Schulte
IEEE software 23 (4), 38-47, 2006
882006
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
862011
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
852010
The system can't perform the operation now. Try again later.
Articles 1–20