Soteria is a functional library for building direct symbolic execution engines, demonstrated by the first Rust engine supporting Tree Borrows and a compositional C engine that matches or exceeds prior tools.
PACMPL 3(POPL), 66:1–66:31 (2019)
2 Pith papers cite this work. Polarity classification is still indexing.
2
Pith papers citing it
fields
cs.PL 2verdicts
UNVERDICTED 2representative citing papers
CSF is the first separation logic-based concolic testing engine for heap-manipulating programs that integrates specification-based testing to generate valid inputs with high coverage.
citing papers explorer
-
Soteria: Efficient Symbolic Execution as a Functional Library
Soteria is a functional library for building direct symbolic execution engines, demonstrated by the first Rust engine supporting Tree Borrows and a compositional C engine that matches or exceeds prior tools.
-
Concolic Testing Heap-Manipulating Programs
CSF is the first separation logic-based concolic testing engine for heap-manipulating programs that integrates specification-based testing to generate valid inputs with high coverage.