/ICSE-SEIP-2024

[ICSE SEIP 2024] Broadly Enabling KLEE to Effortlessly Find Unrecoverable Errors in Rust

[ICSE SEIP 2024] Broadly Enabling KLEE to Effortlessly Find Unrecoverable Errors in Rust

The ICSE SEIP 2024 Project & Experiment .xlsx spreadsheet contains four sheets with details on projects, panic reports, and commit IDs:

  1. Project Details: This sheet lists projects and their associated commit IDs that were analyzed.
  2. Non-Coreutils Panic Reports: This sheet contains panic reports for projects other than Coreutils.
  3. Coreutils Clap Unrelated Panic Reports: This sheet lists panic reports from Coreutils that are not related to clap.
  4. Coreutils Clap Related Panic Reports: This sheet specifically contains panic reports from Coreutils that are related to clap.