Travelled to:1 × USA
Collaborated with:M.Pezzè V.Terragni A.Aquino M.Chen G.Denaro
Talks about:constraint (1) reproduc (1) program (1) concurr (1) analysi (1) failur (1) stack (1) proof (1) crash (1) reus (1)
Person: Francesco A. Bianchi
DBLP: Bianchi:Francesco_A=
Contributed to:
2015
2017Wrote 2 papers:
- ISSTA-2015-AquinoBCDP #constraints #program analysis #proving #reuse
- Reusing constraint proofs in program analysis (AA, FAB, MC, GD, MP), pp. 305–315.
- ESEC-FSE-2017-BianchiPT #concurrent
- Reproducing concurrency failures from crash stacks (FAB, MP, VT), pp. 705–716.