Andrea Aquino

Andrea Aquino

Università della Svizzera Italiana Lugano - Lugano / Switzerland
Engineering & Technology / Computer Science
AD Scientific Index ID: 5206859
Université de la Suisse italienne
person_outline Andrea Aquino's MOST POPULAR ARTICLES
1-) Reusing constraint proofs in program analysisA Aquino, FA Bianchi, M Chen, G Denaro, M PezzèProceedings of the 2015 International Symposium on Software Testing and …, 2015372015
2-) Heuristically matching solution spaces of arithmetic formulas to efficiently reuse solutionsA Aquino, G Denaro, M Pezzè2017 IEEE/ACM 39th International Conference on Software Engineering (ICSE …, 2017152017
3-) Reusing solutions modulo theoriesA Aquino, G Denaro, M PezzeIEEE Transactions on Software Engineering 47 (5), 948-968, 201962019
4-) Worst-case execution time testing via evolutionary symbolic executionA Aquino, G Denaro, P Salza2018 IEEE 29th International Symposium on Software Reliability Engineering …, 201872018
5-) Facilitating program performance profiling via evolutionary symbolic executionA Aquino, P Braione, G Denaro, P SalzaSoftware Testing, Verification and Reliability 30 (2), e1719, 202012020