Francesco Adalberto Bianchi

Publications

118

Citations

H-Index

2015

Active since

Affiliations

Università della Svizzera italiana(Current)

Francesco Adalberto Bianchi is an author at Università della Svizzera italiana specializing in formal verification, program analysis, and engineering.

Top concepts

EngineeringComputer ScienceProgram AnalysisSoftware AnalysisFormal VerificationSoftware EngineeringVerificationFormal MethodsSystem SoftwareSoftware Testing

Publications per year

2015–2017

Publications

A Survey of Recent Trends in Testing Concurrent Software Systems

Francesco Adalberto Bianchi, Alessandro Margara, Mauro Pezzè · IEEE Transactions on Software Engineering · 2017 · 66 citations · Full text

Software Maintenance, Engineering, Recent Trends +23

Reusing constraint proofs in program analysis

Andrea Aquino, Francesco Adalberto Bianchi, Meixian Chen et al. · 2015 · 29 citations

Engineering, Constraints, Verification +18

Reproducing concurrency failures from crash stacks

Francesco Adalberto Bianchi, Mauro Pezzè, Valerio Terragni · 2017 · 23 citations

Software Maintenance, Concurrency Failures, Engineering +22

Rows per page

1–3 of 3