Login / Signup
Marlon Calvo
Publication Activity (10 Years)
Years Active: 2021-2022
Publications (10 Years): 2
Top Topics
Software Testing
Test Cases
Test Suite
Top Venues
FormaliSE@ICSE
ISSRE
</>
Publications
</>
Amirfarhad Nilizadeh
,
Marlon Calvo
,
Gary T. Leavens
,
David R. Cok
Generating Counterexamples in the form of Unit Tests from Hoare-style Verification Attempts.
FormaliSE@ICSE
(2022)
Amirfarhad Nilizadeh
,
Marlon Calvo
,
Gary T. Leavens
,
Xuan-Bach D. Le
More Reliable Test Suites for Dynamic APR by using Counterexamples.
ISSRE
(2021)