Nikolai Tillmann

Cited by

	All	Since 2017
Citations	9088	3070
h-index	49	28
i10-index	125	69

960

480

240

720

200420052006200720082009201020112012201320142015201620172018201920202021202238 88 114 143 220 335 484 515 613 793 960 835 637 716 710 617 517 416 94

Public access

View all

6 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Wolfram SchultePrincipal researcher, Microsoft CorporationVerified email at microsoft.com
Tao XieUniversity Chair Professor, School of Computer Science, Peking UniversityVerified email at pku.edu.cn
Margus VeanesMicrosoft ResearchVerified email at microsoft.com
Manuel FahndrichSoftware Engineer, Google, previously Researcher, Microsoft ResearchVerified email at fahndrich.com
Judith BishopComputer Science Division, Stellenbosch UniversityVerified email at sun.ac.za
Nigel HorspoolProfessor Emeritus, Computer Science, University of VictoriaVerified email at uvic.ca
Xusheng XiaoAssistant Professor, Case Western Reserve UniversityVerified email at case.edu
Sebastian BurckhardtMicrosoft ResearchVerified email at microsoft.com
Nikolaj BjornerMicrosoft ResearchVerified email at cs.stanford.edu
Willem VisserComputer Science Division, Stellenbosch UniversityVerified email at cs.sun.ac.za
Suresh ThummalapentaMicrosoft Corporation, USAVerified email at microsoft.com
Kunal TanejaGoogleVerified email at google.com
Christoph CsallnerUniversity of Texas at ArlingtonVerified email at uta.edu
Koushik SenProfessor of Computer Science, University of California, BerkeleyVerified email at cs.berkeley.edu
Corina PasareanuCMU/NASA AmesVerified email at nasa.gov
Sumit GulwaniPartner Research Manager, MicrosoftVerified email at microsoft.com
Sean McDirmidGoogleVerified email at google.com
Jun KatoSenior Researcher, National Institute of Advanced Industrial Science and Technology (AIST)Verified email at aist.go.jp
Cristian CadarImperial College LondonVerified email at imperial.ac.uk
Sarfraz KhurshidProfessor, University of Texas at AustinVerified email at ece.utexas.edu

Nikolai Tillmann

Software Engineer

Verified email at fb.com - Homepage

Software Engineering Software Testing Program Analysis


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Pex–white box test generation for. net N Tillmann, J Halleux International conference on tests and proofs, 134-153, 2008	1183	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	439	2011
Demand-driven compositional symbolic execution S Anand, P Godefroid, N Tillmann International Conference on Tools and Algorithms for the Construction and …, 2008	325	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	304	2009
Parameterized unit tests N Tillmann, W Schulte ACM SIGSOFT Software Engineering Notes 30 (5), 253-262, 2005	301	2005
DySy C Csallner, N Tillmann, Y Smaragdakis 2008 ACM/IEEE 30th International Conference on Software Engineering, 281-290, 2008	283	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	249	2008
Approximating finite domains in symbolic state exploration N Tillmann, W Grieskamp, W Schulte US Patent 8,533,680, 2013	241	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	221	2009
Rex: Symbolic regular expression explorer M Veanes, P De Halleux, N Tillmann 2010 Third International Conference on Software Testing, Verification and …, 2010	182	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	148	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	140	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	139	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	135	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	122	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	117	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	113	2013
Flopsy-search-based floating point constraint solving for symbolic execution K Lakhotia, N Tillmann, M Harman, J Halleux IFIP International Conference on Testing Software and Systems, 142-157, 2010	112	2010
Unit tests reloaded: Parameterized unit testing with symbolic execution N Tillmann, W Schulte IEEE software 23 (4), 38-47, 2006	112	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	110	2011

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow this author

Cited by

Co-authors