76
Publications
3.9K
Citations
34
H-Index
2002
Active since
Nikolai Tillmann is an author at Microsoft (United States) specializing in engineering, software engineering, and software analysis.
Top concepts
EngineeringComputer ScienceSoftware EngineeringSoftware AnalysisProgram AnalysisSoftware TestingFormal VerificationFormal MethodsVerificationSoftware Design
Publications per year
2002–2022
76
76
Symbolic execution for software testing in practice
Cristian Cadar, Patrice Godefroid, Sarfraz Khurshid et al. · 2011 · 325 citations
Fitness-guided path exploration in dynamic symbolic execution
Tao Xie, Nikolai Tillmann, Jonathan de Halleux et al. · 2009 · 233 citations
Heuristic Search, Engineering, Fitness-guided Path Exploration +21
Nikolai Tillmann, Wolfram Schulte · 2005 · 211 citations
Christoph Csallner, Nikolai Tillmann, Yannis Smaragdakis · 2008 · 200 citations
Rows per page
1–5 of 76