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.
Title resolution pending
2 Pith papers cite this work. Polarity classification is still indexing.
2
Pith papers citing it
fields
cs.PL 2verdicts
UNVERDICTED 2representative citing papers
Smoosh is an executable semantics for the POSIX shell judged most conformant to the standard among seven other shells via multiple test suites.
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.
-
Executable formal semantics for the POSIX shell
Smoosh is an executable semantics for the POSIX shell judged most conformant to the standard among seven other shells via multiple test suites.