All Stories

  1. Towards Automated Test Adaptation in Fork Ecosystems via Large Language Models
  2. Vulnerability Repair via Concolic Execution and Code Mutations
  3. Timing Side-Channel Mitigation via Automated Program Repair
  4. APR Competition 2024
  5. Cerberus: a Program Repair Framework
  6. Trust enhancement issues in program repair
  7. Quantitative fuzzing for side-channel vulnerabilities
  8. Concolic program repair
  9. Hybrid differential software analysis with Fuzzing and Symbolic Execution