Adam Kiezun

Artificial Intelligence · 2008–2015

A researcher in the Science corpus: 7 papers; trusts 15 researchers and is trusted by 14 researchers here, as inferred from the citation graph.

Subfields

Whom Adam Kiezun trusts overall

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

  1. Gary Wassermann
  2. Patrice Godefroid
  3. Armin Biere
  4. Zhendong Su
  5. Koushik Sen
  6. Vijay Ganesh
  7. Matthew W. Moskewicz
  8. Cristian Cadar
  9. Nils Klarlund
  10. Darko Marinov

Who trusts Adam Kiezun overall

  1. Andrea Arcuri
  2. Prateek Saxena
  3. Junjie Wang
  4. Lionel Claude Briand
  5. Koushik Sen
  6. Devdatta Akhawe
  7. Vijay Ganesh
  8. Caroline Lemieux
  9. Jibesh Patra
  10. Jacob Burnim

Papers from Adam Kiezun's perspective

Ordered by how strongly the researchers Adam Kiezun 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. EXE: automatically generating inputs of death
  3. Symbolic execution and program testing
  4. Sound and precise analysis of web applications for injection vulnerabilities (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
  5. Automated Whitebox Fuzz Testing (Network and Distributed System Security Symposium)
  6. Introduction to Automata Theory, Languages and Computation
  7. CUTE: a concolic unit testing engine for C (ESEC/FSE-13)
  8. Precise Analysis of String Expressions (Sensors Applications Symposium)
  9. QuickCheck: a lightweight tool for random testing of Haskell programs (ACM SIGPLAN International Conference on Functional Programming)
  10. Automatically Hardening Web Applications Using Precise Tainting (IFIP International Information Security Conference)

Their papers