Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Cesar Cornejo
conf.researchr.org general profile
ASE 2020 profile
ASE 2025 profile
ASE 2026 profile
FM 2026 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
ASE
Committee Member in Program Committee within the Tools and Datasets-track
FM
Author of Evaluating the Practical Impact of Parallelism in Asmeta within the ABZ-track
ICSE
PC Member in Program Committee within the Demonstrations-track
PC Member in Artifact Evaluation within the Artifact Evaluation-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
Sat 6 Jun 13:06
