activity
20192026
most citedLawBreaker: An Approach for Specifying Traffic Laws and Fuzzing Autonomous Vehicles

58 citations · 79 across the 5 of their papers we have counts for

collaborators
Showing cs.PLShow all

1 paper · 1 filter

cs.PL2022★ 1 cited

S2TD: a Separation Logic Verifier that Supports Reasoning of the Absence and Presence of Bugs

Quang Loc Le, Jun Sun, Long H. Pham +1

Heap-manipulating programs are known to be challenging to reason about. We present a novel verifier for heap-manipulating programs called S2TD, which encodes programs systematicall…