Login / Signup
Richard Rutledge
Publication Activity (10 Years)
Years Active: 2019-2022
Publications (10 Years): 3
Top Topics
Static Analysis
Symbolic Execution
Specification Language
Trading Strategies
Top Venues
ICST
ICSE (Companion Volume)
ICSE
</>
Publications
</>
Richard Rutledge
,
Alessandro Orso
Automating Differential Testing with Overapproximate Symbolic Execution.
ICST
(2022)
Richard Rutledge
,
Alessandro Orso
PG-KLEE: trading soundness for coverage.
ICSE (Companion Volume)
(2020)
Richard Rutledge
,
Sunjae Park
,
Haider Adnan Khan
,
Alessandro Orso
,
Milos Prvulovic
,
Alenka G. Zajic
Zero-overhead path prediction with progressive symbolic execution.
ICSE
(2019)