Login / Signup
António Morgado
ORCID
Publication Activity (10 Years)
Years Active: 2023-2024
Publications (10 Years): 5
Top Topics
Theoretical Underpinnings
Test Suite
Minimal Subsets
Number Of Test Cases
Top Venues
CoRR
TACAS (1)
ISSTA
J. Symb. Comput.
</>
Publications
</>