Daniele Cono D'Elia

Software · 2016

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

Subfields

Whom Daniele Cono D'Elia trusts overall

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

  1. Patrice Godefroid
  2. Corina S. Pasareanu

Papers from Daniele Cono D'Elia's perspective

Ordered by how strongly the researchers Daniele Cono D'Elia trusts endorse each paper. Same corpus, a different order for every researcher.

  1. Symbolic execution and program testing
  2. Hybrid Concolic Testing (International Conference on Software Engineering)
  3. A Decision Procedure for Bit-Vectors and Arrays (International Conference on Computer Aided Verification)
  4. Compositional dynamic test generation (ACM-SIGACT Symposium on Principles of Programming Languages)
  5. Z3: An Efficient SMT Solver
  6. Satisfiability Modulo Theories
  7. All You Ever Wanted to Know about Dynamic Taint Analysis and Forward Symbolic Execution (but Might Have Been Afraid to Ask)
  8. RacerX: effective, static detection of race conditions and deadlocks (Symposium on Operating Systems Principles)
  9. On the synthesis of a reactive module
  10. Separation logic: a logic for shared mutable data structures

Their papers