TY  - RPRT
TI  - HyperPUT: Generating Synthetic Faulty Programs to Challenge Bug-Finding Tools
AU  - Riccardo Felici
AU  - Laura Pozzi
AU  - Carlo A. Furia
PY  - 2024
DO  - 10.1007/s10664-023-10430-8
UR  - https://arxiv.org/abs/2209.06615
ID  - 2209.06615
ER  -