Sign in
Partha Susarla
Publication Activity (10 Years)
Years Active: 2018-2022
Publications (10 Years): 2
Top Topics
Symbolic Execution
Signature Verification
Test Cases
Historical Data
Top Venues
SLE
ISoLA (1)
</>
Publications
</>
Zilin Chen
,
Christine Rizkallah
,
Liam O'Connor
,
Partha Susarla
,
Gerwin Klein
,
Gernot Heiser
,
Gabriele Keller
Property-Based Testing: Climbing the Stairway to Verification.
SLE
(2022)
Liam O'Connor
,
Zilin Chen
,
Partha Susarla
,
Christine Rizkallah
,
Gerwin Klein
,
Gabriele Keller
Bringing Effortless Refinement of Data Layouts to Cogent.
ISoLA (1)
(2018)