Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Cesar Cornejo
conf.researchr.org general profile
ASE 2020 profile
ASE 2025 profile
ICSE 2024 profile
ICSE 2025 profile
ICSE 2026 profile
Registered user since Tue 18 Aug 2020
Name:
Cesar Cornejo
Country:
Italy
Affiliation:
University of Bergamo
Contributions
2026
ICSE
PC Member in Program Committee within the Demonstrations-track
2025
ASE
PC Member in Tool Demo Program Committee within the Tool Demonstration Track-track
PC Member in Tool Demo Program Committee within the Tool Demonstration Track-track
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
Tue 2 Sep 15:42