World's Best Scientists 2026 revealed!

D-Index & Metrics

Computer Science

D-Index
50
Citations
9180
World Ranking
5650
National Ranking
2572

Overview

Nikolai Tillmann is a researcher affiliated with Facebook in the United States. Their academic contributions include work published in recognized venues associated with institutions such as the Graz University of Technology.

Tillmann has collaborated with other researchers, notably with Yuri Gurevich, indicating a collaborative approach to advancing their research topics.

Their documented publication record includes the following paper:

  • Partial Updates: Exploration, 2020, TUGraz OPEN Library (Graz University of Technology)

Tillmann's scientific output has been cited by other researchers, suggesting engagement with the academic community; for example, the 2020 publication has received 30 citations.

Frequent publication venues featured in their profile include:

  • TUGraz OPEN Library (Graz University of Technology)

Coauthors who have worked extensively with Tillmann include:

  • Yuri Gurevich

Best Publications

  • Pex: white box test generation for .NET

    Nikolai Tillmann;Jonathan De Halleux

  • Symbolic execution for software testing in practice: preliminary assessment

    Cristian Cadar;Patrice Godefroid;Sarfraz Khurshid;Corina S. Pasareanu

  • Demand-driven compositional symbolic execution

    Saswat Anand;Patrice Godefroid;Nikolai Tillmann

  • Fitness-guided path exploration in dynamic symbolic execution

    Tao Xie;Nikolai Tillmann;Jonathan de Halleux;Wolfram Schulte

  • Parameterized unit tests

    Nikolai Tillmann;Wolfram Schulte

  • DySy: dynamic symbolic execution for invariant inference

    Christoph Csallner;Nikolai Tillmann;Yannis Smaragdakis

  • Model-based testing of object-oriented reactive systems with spec explorer

    Margus Veanes;Colin Campbell;Wolfgang Grieskamp;Wolfram Schulte

  • Path Feasibility Analysis for String-Manipulating Programs

    Nikolaj Bjørner;Nikolai Tillmann;Andrei Voronkov

  • Approximating finite domains in symbolic state exploration

    Nikolai Tillmann;Wolfgang Grieskamp;Wolfram Schulte

  • Rex: Symbolic Regular Expression Explorer

    Margus Veanes;Peli de Halleux;Nikolai Tillmann

  • A model-to-implementation mapping tool for automated model-based GUI testing

    Ana C. R. Paiva;João C. P. Faria;Nikolai Tillmann;Raul A. M. Vidal

  • SPUR: a trace-based JIT compiler for CIL

    Michael Bebenita;Florian Brandner;Manuel Fahndrich;Francesco Logozzo

  • Automating Software Testing Using Program Analysis

    P. Godefroid;P. de Halleux;A.V. Nori;S.K. Rajamani

  • TouchDevelop: programming cloud-connected mobile devices via touchscreen

    Nikolai Tillmann;Michal Moskal;Jonathan de Halleux;Manuel Fahndrich

  • Test generation via Dynamic Symbolic Execution for mutation testing

    Lingming Zhang;Tao Xie;Lu Zhang;Nikolai Tillmann

  • Teaching and learning programming and software engineering via interactive gaming

    Nikolai Tillmann;Jonathan de Halleux;Tao Xie;Sumit Gulwani

  • MSeqGen: object-oriented unit-test generation via mining source code

    Suresh Thummalapenta;Tao Xie;Nikolai Tillmann;Jonathan de Halleux

  • Unit tests reloaded: parameterized unit testing with symbolic execution

    N. Tillmann;W. Schulte

  • It's alive! continuous feedback in UI programming

    Sebastian Burckhardt;Manuel Fahndrich;Peli de Halleux;Sean McDirmid

  • Synthesizing method sequences for high-coverage testing

    Suresh Thummalapenta;Tao Xie;Nikolai Tillmann;Jonathan de Halleux

Frequent Co-Authors

Wolfram Schulte
Wolfram Schulte Microsoft (United States)
Tao Xie
Tao Xie Peking University
Margus Veanes
Margus Veanes Microsoft (United States)
Manuel Fähndrich
Manuel Fähndrich Google (United States)
Thomas Ball
Thomas Ball Microsoft (United States)
Yuri Gurevich
Yuri Gurevich University of Michigan–Ann Arbor
Nikolaj Bjørner
Nikolaj Bjørner Microsoft (United States)
Patrice Godefroid
Patrice Godefroid Microsoft (United States)
Sumit Gulwani
Sumit Gulwani Microsoft (United States)

If you think any of the details on this page are incorrect, let us know.

Report an issue

We appreciate your kind effort to assist us to improve this page, it would be helpful providing us with as much detail as possible in the text box below:

Related Online Degrees & Career Pathways

Exploring computer science online opens doors to a range of flexible and accessible learning options. Many aspiring students seek affordable online colleges that allow them to pursue a quality education without breaking the bank. Budget-friendly programs can make it possible to earn a degree even with financial constraints.

Admission requirements can sometimes be a barrier, but there are online colleges that accept low gpa, creating more inclusive pathways for students with diverse academic backgrounds. This opens up opportunities for more learners to kick start their careers in tech.

Consider a 2-year computer science degree online for a faster track into the workforce. Accelerated programs are ideal for career changers or those eager to build skills quickly.

Graduates aren’t limited to programming roles. As seen in other fields, such as what can you do with an environmental science degree guides, a computer science background prepares you for diverse job prospects—from data analysis to systems management and beyond.

Best Scientists Citing Nikolai Tillmann

Trending Scientists