Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Cesar Cornejo
conf.researchr.org general profile
ASE 2020 profile
ICSE 2024 profile
ICSE 2025 profile
Registered user since Tue 18 Aug 2020
Name:
Cesar Cornejo
Country:
Argentina
Affiliation:
University of Rio Cuarto and CONICET
Contributions
2025
ICSE
PC Member in Demonstrations within the Demonstrations-track
Committee Member in Artifact Evaluation within the Artifact Evaluation-track
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
Mon 18 Nov 05:17