Nikolai Tillmann

Software · 2008–2011

A researcher in the Science corpus: 2 papers; trusts 16 researchers and is trusted by 11 researchers here, as inferred from the citation graph.

Subfields

Whom Nikolai Tillmann trusts overall

Their strongest outbound trust, strongest first, inferred from their citations.

  1. Patrice Godefroid
  2. Koushik Sen
  3. Greg Nelson
  4. Carlos Pacheco
  5. Michael D. Ernst
  6. Gul A. Agha
  7. Cristian Cadar
  8. Nils Klarlund
  9. Michael Y. Levin
  10. Darko Marinov

Who trusts Nikolai Tillmann overall

  1. Gordon Fraser
  2. Yue Jia
  3. Yuting Chen
  4. Andrea Arcuri
  5. Sainyam Galhotra
  6. Mark Harman
  7. Zhendong Su
  8. Yuriy Brun
  9. Cristian Cadar
  10. Alexandra Meliou

Papers from Nikolai Tillmann's perspective

Ordered by how strongly the researchers Nikolai Tillmann trusts endorse each paper. Same corpus, a different order for every researcher.

  1. DART: directed automated random testing (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
  2. Symbolic execution and program testing
  3. EXE: automatically generating inputs of death
  4. Automated Whitebox Fuzz Testing (Network and Distributed System Security Symposium)
  5. Extended static checking for Java (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
  6. Generalized Symbolic Execution for Model Checking and Testing (International Conference on Tools and Algorithms for Construction and Analysis of Systems)
  7. Hybrid Concolic Testing (International Conference on Software Engineering)
  8. Compositional dynamic test generation (ACM-SIGACT Symposium on Principles of Programming Languages)
  9. Heuristics for Scalable Dynamic Test Generation (2008 23rd IEEE/ACM International Conference on Automated Software Engineering)
  10. Feedback-Directed Random Test Generation (International Conference on Software Engineering)

Their papers