• Sign in
  • Sign up
conf.researchr.org / Cesar Cornejo
  • ASE 2020 profile
  • ASE 2025 profile
  • ICSE 2024 profile
  • ICSE 2025 profile
  • ICSE 2026 profile
Cesar Cornejo

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
xTue 2 Sep 15:42
using conf.researchr.org (v1.70.0)
Support page
Sign Up