Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Agustín Borda
conf.researchr.org general profile
ICSE 2024 profile
Registered user since Sun 18 Feb 2024
Name:
Agustín Borda
Affiliation:
Dept. of Computer Science FCEFQyN, University of Rio Cuarto
Contributions
2024
KLEE
Author of Automated Generation of Database Mocks with Symbolic Execution within the KLEE 2024-track
Share
x
Sun 19 May 13:38