Login / Signup
Infeasible Paths Elimination by Symbolic Execution Techniques: Proof of Correctness and Preservation of Paths.
Romain Aïssat
Frédéric Voisin
Burkhart Wolff
Published in:
Arch. Formal Proofs (2016)
Keyphrases
</>
symbolic execution
case study
database systems
search space
database
real world
search algorithm
data model