Jonathan de Halleux

Software · 2003–2008

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

Subfields

Whom Jonathan de Halleux 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

Who trusts Jonathan de Halleux overall

  1. G. Bastin
  2. Martin Gugat
  3. Jean-Michel Coron
  4. Gordon Fraser
  5. Michael Herty
  6. Yue Jia
  7. Yuting Chen
  8. Andrea Arcuri
  9. Sainyam Galhotra
  10. Mark Harman

Papers from Jonathan de Halleux's perspective

Ordered by how strongly the researchers Jonathan de Halleux 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. CUTE: a concolic unit testing engine for C (ESEC/FSE-13)
  6. Compositional dynamic test generation (ACM-SIGACT Symposium on Principles of Programming Languages)
  7. Extended static checking for Java (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
  8. Feedback-Directed Random Test Generation (International Conference on Software Engineering)
  9. CUTE and jCUTE: Concolic Unit Testing and Explicit Path Model-Checking Tools (International Conference on Computer Aided Verification)
  10. The Daikon system for dynamic detection of likely invariants (Science of Computer Programming)

Their papers