Nils Klarlund

Software · 2005

A researcher in the Science corpus: 1 paper; trusts 8 researchers and is trusted by 51 researchers here, as inferred from the citation graph.

Subfields

Whom Nils Klarlund trusts overall

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

  1. Thomas Ball
  2. George C. Necula
  3. Willem Visser
  4. Chandrasekhar Boyapati
  5. Thomas A. Henzinger
  6. Seth Hallem
  7. Sarfraz Khurshid

Who trusts Nils Klarlund overall

  1. Patrice Godefroid
  2. Koushik Sen
  3. Gordon Fraser
  4. Andrea Arcuri
  5. Rupak Majumdar
  6. Corina S. Pasareanu
  7. Cristian Cadar
  8. Adam Kiezun
  9. Antonia Bertolino
  10. Yuting Chen

Papers from Nils Klarlund's perspective

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

  1. Symbolic execution and program testing
  2. Korat: automated testing based on Java predicates (International Symposium on Software Testing and Analysis)
  3. CIL: Intermediate Language and Tools for Analysis and Transformation of C Programs (International Conference on Compiler Construction)
  4. QuickCheck: a lightweight tool for random testing of Haskell programs (ACM SIGPLAN International Conference on Functional Programming)
  5. The economic impacts of inadequate infrastructure for software testing
  6. Symstra: A Framework for Generating Object-Oriented Unit Tests Using Symbolic Execution (International Conference on Tools and Algorithms for Construction and Analysis of Systems)
  7. Test input generation with java PathFinder (International Symposium on Software Testing and Analysis)
  8. Lazy abstraction
  9. A system and language for building system-specific, static analyses (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
  10. An empirical study of the robustness of Windows NT applications using random testing

Their papers