Search papers, labs, and topics across Lattice.
Ain Shams University
1
0
Formalizing the soundness of symbolic execution tools reveals that path-merging can significantly enhance software reliability without sacrificing correctness.
