Francesco A. Bianchi

According to our database, Francesco A. Bianchi authored at least 6 papers between 2012 and 2019.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2019

Coverage-Driven Test Generation for Thread-Safe Classes via Parallel and Conflict Dependencies.

Valerio Terragni, Mauro Pezzè, Francesco Adalberto Bianchi

Proceedings of the 12th IEEE Conference on Software Testing, Validation and Verification, 2019

2018

A Survey of Recent Trends in Testing Concurrent Software Systems.

Francesco Adalberto Bianchi, Alessandro Margara, Mauro Pezzè

IEEE Trans. Software Eng., 2018

2017

Reproducing concurrency failures from crash stacks.

Francesco A. Bianchi, Mauro Pezzè, Valerio Terragni

Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering, 2017

2016

Testing Concurrent Software Systems.

Francesco A. Bianchi

Proceedings of the 2016 IEEE International Conference on Software Testing, 2016

2015

Reusing constraint proofs in program analysis.

Andrea Aquino, Francesco A. Bianchi, Meixian Chen, Giovanni Denaro, Mauro Pezzè

Proceedings of the 2015 International Symposium on Software Testing and Analysis, 2015

2012

A Concurrent Simulator for Petri Nets Based on the Paradigm of Actors of Hewitt.

Luca Bernardinello, Francesco Adalberto Bianchi

Proceedings of the International Workshop on Petri Nets and Software Engineering, 2012