Concepedia

Author

Nikolai Tillmann

Microsoft (United States)ORCID

Also Known As

N. Tillmann, NIKOLAI TILLMANN, Nikolai Tillmann, Tillmann, Nikolai, Yuri Gurevich

167

Publications

6.1K

Citations

41

H-Index

123

Concepts

All Affiliations

Microsoft (United States)North Carolina State UniversityUniversity of Illinois Urbana-ChampaignMicrosoft Research (United Kingdom)
NT

About

Nikolai Tillmann is an author at Microsoft (United States) specializing in engineering, software engineering, and software analysis.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

32

65

3.6K

2

Education

12

13

491

3

Business

5

5

275

4

Arts

2

2

20

5

Language Studies

1

1

38

Nikolai Tillmann

×

76

Publications

3.9K

Citations

34

H-Index

YearCitations

Symbolic execution for software testing in practice

Cristian Cadar, Patrice Godefroid, Sarfraz Khurshid,

2011

325

Fitness-guided path exploration in dynamic symbolic execution

Tao Xie, Nikolai Tillmann, Jonathan de Halleux,

2009

233

Parameterized unit tests

Nikolai Tillmann, Wolfram Schulte

2005

211

DySy

Christoph Csallner, Nikolai Tillmann, Yannis Smaragdakis

2008

200

Rex: Symbolic Regular Expression Explorer

Margus Veanes, Peli de Halleux, Nikolai Tillmann

2010

144

Automating Software Testing Using Program Analysis

Patrice Godefroid, Peli de Halleux, Aditya V. Nori,

IEEE Software

2008

118

Test generation via Dynamic Symbolic Execution for mutation testing

Lingming Zhang, Tao Xie, Lu Zhang,

2010

117

SPUR

Michael Bebenita, Florian Brandner, Manuel Fähndrich,

2010

114

TouchDevelop

Nikolai Tillmann, Michał Moskal, Jonathan de Halleux,

2011

104

MSeqGen

Suresh Thummalapenta, Tao Xie, Nikolai Tillmann,

2009

90

Page 1