Francesco A. Bianchi

Publication Activity (10 Years)

Years Active: 2015-2017
Publications (10 Years): 2

Top Topics

Dynamic Allocation

Clone Detection

Software Systems

Top Venues

ESEC/SIGSOFT FSE

Publications

Francesco A. Bianchi, Mauro Pezzè, Valerio Terragni
Reproducing concurrency failures from crash stacks. ESEC/SIGSOFT FSE (2017)
Francesco A. Bianchi
Testing Concurrent Software Systems. ICST (2016)
Andrea Aquino, Francesco A. Bianchi, Meixian Chen, Giovanni Denaro, Mauro Pezzè
Reusing constraint proofs in program analysis. ISSTA (2015)