Valentin J. M. Manès

2018

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

Whom Valentin J. M. Manès trusts overall

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

  1. Patrice Godefroid
  2. Derek Bruening
  3. Andreas Zeller
  4. Nicholas Nethercote
  5. James Newsome
  6. Koushik Sen
  7. Vijay Ganesh
  8. Cornelius Aschermann
  9. Christian Holler
  10. Edward J. Schwartz

Papers from Valentin J. M. Manès's perspective

Ordered by how strongly the researchers Valentin J. M. Manès 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. Automated Whitebox Fuzz Testing (Network and Distributed System Security Symposium)
  3. Symbolic execution and program testing
  4. CUTE: a concolic unit testing engine for C (ESEC/FSE-13)
  5. Grammar-based whitebox fuzzing (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
  6. TaintScope: A Checksum-Aware Directed Fuzzing Tool for Automatic Software Vulnerability Detection (IEEE Symposium on Security and Privacy)
  7. Taint-based directed whitebox fuzzing (2009 IEEE 31st International Conference on Software Engineering)
  8. Valgrind: a framework for heavyweight dynamic binary instrumentation (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
  9. KLEE: Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs
  10. Pin: building customized program analysis tools with dynamic instrumentation (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)

Their papers