An effective way to maximize code coverage in software tests is through dynamic symbolic
execution-a technique that uses constraint solving to systematically explore a program's …

Smart contracts are executable programs that enable the building of a programmable trust
mechanism between multiple entities without the need of a trusted third-party. At the time of …

We present MergePoint, a new binary-only symbolic execution system for large-scale and
fully unassisted testing of commodity off-the-shelf (COTS) software. MergePoint introduces …

Dynamic symbolic execution for automated test generation consists of instrumenting and
running a program while collecting path constraint on inputs from predicates encountered in …

Most techniques to detect program errors, such as testing, code reviews, and static program
analysis, do not fully verify all possible executions of a program. They leave executions …

Symbolic detection has been widely used to detect vulnerabilities in smart contracts.
Unfortunately, as reported, existing symbolic tools cost too much time, since they need to …

This paper describes Slither, a static analysis framework designed to provide rich
information about Ethereum smart contracts. It works by converting Solidity smart contracts …

We present SmarTest, a novel symbolic execution technique for effectively hunting
vulnerable transaction sequences in smart contracts. Because smart contracts are stateful …

This paper introduces memoized symbolic execution (Memoise), a new approach for more
efficient application of forward symbolic execution, which is a well-studied technique for …

We present results for the" Impact Project Focus Area" on the topic of symbolic execution as
used in software testing. Symbolic execution is a program analysis technique introduced in …