Publications

2 results for Gal Amram

Vintage Code, Modern Judges: Meta-Validation in Low Data Regimes
- - Gal Amram
  - Ora Nova Fandina
  - et al.
- 2025
- ASE 2025
Workshop paper
Automata Models for Effective Bug Pattern Description
- - Tom Yaacov
  - Gera Weiss
  - et al.
- 2025
- MODELS 2025
Conference paper