Alexandre Rebert

Software · 2012

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

Subfields

Whom Alexandre Rebert trusts overall

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

  1. Leonardo de Moura
  2. Rupak Majumdar
  3. Gogul Balakrishnan

Who trusts Alexandre Rebert overall

  1. Yan Shoshitaishvili
  2. Peng Chen
  3. Cornelius Aschermann
  4. Sergej Schumilo

Papers from Alexandre Rebert's perspective

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

  1. Symbolic execution and program testing
  2. Automated Whitebox Fuzz Testing (Network and Distributed System Security Symposium)
  3. Pin: building customized program analysis tools with dynamic instrumentation (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
  4. Dynamic Taint Analysis for Automatic Detection, Analysis, and SignatureGeneration of Exploits on Commodity Software (Network and Distributed System Security Symposium)
  5. CUTE: a concolic unit testing engine for C (ESEC/FSE-13)
  6. Analyzing Memory Accesses in x86 Executables (International Conference on Compiler Construction)
  7. All You Ever Wanted to Know about Dynamic Taint Analysis and Forward Symbolic Execution (but Might Have Been Afraid to Ask)
  8. Hybrid Concolic Testing (International Conference on Software Engineering)
  9. Z3: An Efficient SMT Solver
  10. S2E: a platform for in-vivo multi-path analysis of software systems (ASPLOS XVI)

Their papers