Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Cesar Cornejo
conf.researchr.org general profile
ASE 2020 profile
ICSE 2024 profile
Registered user since Tue 18 Aug 2020
Name:
Cesar Cornejo
Country:
Argentina
Affiliation:
University of Rio Cuarto and CONICET
Contributions
2024
KLEE
Author of Automated Generation of Database Mocks with Symbolic Execution within the KLEE 2024-track
2020
ASE
Author of SAT-Based Arithmetic Support for Alloy within the Doctoral Symposium-track
Share
x
Sat 20 Apr 13:30