Camil Demetrescu

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 Camil Demetrescu trusts overall

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

  1. Patrice Godefroid

Papers from Camil Demetrescu's perspective

Ordered by how strongly the researchers Camil Demetrescu 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. RacerX: effective, static detection of race conditions and deadlocks (Symposium on Operating Systems Principles)
  8. All You Ever Wanted to Know about Dynamic Taint Analysis and Forward Symbolic Execution (but Might Have Been Afraid to Ask)
  9. On the synthesis of a reactive module
  10. Separation logic: a logic for shared mutable data structures

Their papers