Jacob Burnim

Software · 2008

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

Subfields

Whom Jacob Burnim trusts overall

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

  1. Patrice Godefroid
  2. Koushik Sen
  3. Christoph Csallner
  4. Bruno Dutertre
  5. Willem Visser
  6. Darko Marinov
  7. George C. Necula
  8. Tao Xie
  9. Michael Y. Levin
  10. Cristian Cadar

Who trusts Jacob Burnim overall

  1. Cristian Cadar
  2. Koushik Sen
  3. Youcheng Sun
  4. Min Wu
  5. Patrice Godefroid

Papers from Jacob Burnim's perspective

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

  1. Symbolic execution and program testing
  2. DART: directed automated random testing (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
  3. QuickCheck: a lightweight tool for random testing of Haskell programs (ACM SIGPLAN International Conference on Functional Programming)
  4. EXE: automatically generating inputs of death
  5. Hybrid Concolic Testing (International Conference on Software Engineering)
  6. Automated Whitebox Fuzz Testing (Network and Distributed System Security Symposium)
  7. Test input generation with java PathFinder (International Symposium on Software Testing and Analysis)
  8. Symstra: A Framework for Generating Object-Oriented Unit Tests Using Symbolic Execution (International Conference on Tools and Algorithms for Construction and Analysis of Systems)
  9. CUTE: a concolic unit testing engine for C (ESEC/FSE-13)
  10. Korat: automated testing based on Java predicates (International Symposium on Software Testing and Analysis)

Their papers