Nikolai Tillmann
Nikolai Tillmann
Software Engineer
Verified email at fb.com - Homepage
Title
Cited by
Cited by
Year
Pex–white box test generation for. net
N Tillmann, J De Halleux
International conference on tests and proofs, 134-153, 2008
10352008
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
3822011
Demand-driven compositional symbolic execution
S Anand, P Godefroid, N Tillmann
International Conference on Tools and Algorithms for the Construction and …, 2008
2792008
Parameterized unit tests
N Tillmann, W Schulte
ACM SIGSOFT Software Engineering Notes 30 (5), 253-262, 2005
2672005
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
2512009
DySy
C Csallner, N Tillmann, Y Smaragdakis
2008 ACM/IEEE 30th International Conference on Software Engineering, 281-290, 2008
2482008
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
2242008
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
1952009
Approximating finite domains in symbolic state exploration
N Tillmann, W Grieskamp, W Schulte
US Patent 8,533,680, 2013
1822013
Rex: Symbolic regular expression explorer
M Veanes, P De Halleux, N Tillmann
2010 Third International Conference on Software Testing, Verification and …, 2010
1492010
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
1312008
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
1302011
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
1282010
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
1162013
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
1032010
Unit test generalization
N Tillmann, W Grieskamp, W Schulte
US Patent 7,587,636, 2009
1002009
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
1002009
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
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
962013
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
962010
The system can't perform the operation now. Try again later.
Articles 1–20