His scientific interests lie mostly in Symbolic execution, Programming language, Theoretical computer science, Algorithm and Code coverage. Symbolic execution is a subfield of Software that he explores. His study involves Program analysis, Concolic testing, Object-oriented programming, Software development and Keyword-driven testing, a branch of Programming language.
His Theoretical computer science research is multidisciplinary, incorporating perspectives in Solver and Data mining. Nikolai Tillmann usually deals with Algorithm and limits it to topics linked to Set and Parameterized complexity and Test case. His Code coverage study integrates concerns from other disciplines, such as Object, Iterative method, Unit testing and Heuristic.
His primary scientific interests are in Programming language, Symbolic execution, Software, Unit testing and Software engineering. The Programming language study which covers Test case that intersects with Process. His Concolic testing study, which is part of a larger body of work in Symbolic execution, is frequently linked to Constraint satisfaction problem, bridging the gap between disciplines.
His Software study which covers Code that intersects with Algorithm, Source code and Artificial intelligence. His Unit testing study combines topics from a wide range of disciplines, such as White-box testing, Parameterized complexity, Dynamic testing, Real-time computing and Non-regression testing. His research in Software engineering intersects with topics in Test strategy and Software development, Software construction.
His studies in Unit testing integrate themes in fields like Dynamic testing, Software engineering, Software performance testing and Systems engineering. His work deals with themes such as Web application and Software development, which intersect with Multimedia. His Programming language research incorporates themes from Test case and Code.
Symbolic execution, Multimedia, World Wide Web, Programming language and Coding are his primary areas of study. He interconnects Random testing and Source code in the investigation of issues within Symbolic execution. The various areas that Nikolai Tillmann examines in his Source code study include White-box testing, Code, Redundant code, Test case and Artificial intelligence.
Nikolai Tillmann has included themes like Microsoft Visual Studio, Download and Task in his Multimedia study. When carried out as part of a general World Wide Web research project, his work on HTML5 is frequently linked to work in Native API, therefore connecting diverse disciplines of study. His Programming language research includes elements of Use case and Code generation.
This overview was generated by a machine learning system which analysed the scientist’s body of work. If you have any feedback, you can contact us here.
Pex: white box test generation for .NET
Nikolai Tillmann;Jonathan De Halleux.
tests and proofs (2008)
Symbolic execution for software testing in practice: preliminary assessment
Cristian Cadar;Patrice Godefroid;Sarfraz Khurshid;Corina S. Pasareanu.
international conference on software engineering (2011)
Demand-driven compositional symbolic execution
Saswat Anand;Patrice Godefroid;Nikolai Tillmann.
tools and algorithms for construction and analysis of systems (2008)
Parameterized unit tests
Nikolai Tillmann;Wolfram Schulte.
foundations of software engineering (2005)
Fitness-guided path exploration in dynamic symbolic execution
Tao Xie;Nikolai Tillmann;Jonathan de Halleux;Wolfram Schulte.
dependable systems and networks (2009)
Model-based testing of object-oriented reactive systems with spec explorer
Margus Veanes;Colin Campbell;Wolfgang Grieskamp;Wolfram Schulte.
formal methods (2008)
DySy: dynamic symbolic execution for invariant inference
Christoph Csallner;Nikolai Tillmann;Yannis Smaragdakis.
international conference on software engineering (2008)
Approximating finite domains in symbolic state exploration
Nikolai Tillmann;Wolfgang Grieskamp;Wolfram Schulte.
Path Feasibility Analysis for String-Manipulating Programs
Nikolaj Bjørner;Nikolai Tillmann;Andrei Voronkov.
tools and algorithms for construction and analysis of systems (2009)
Rex: Symbolic Regular Expression Explorer
Margus Veanes;Peli de Halleux;Nikolai Tillmann.
international conference on software testing, verification, and validation (2010)
If you think any of the details on this page are incorrect, let us know.
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: