| Reusing constraint proofs in program analysis A Aquino, FA Bianchi, M Chen, G Denaro, M Pezzè Proceedings of the 2015 International Symposium on Software Testing and …, 2015 | 37 | 2015 |
| Heuristically matching solution spaces of arithmetic formulas to efficiently reuse solutions A Aquino, G Denaro, M Pezzè 2017 IEEE/ACM 39th International Conference on Software Engineering (ICSE …, 2017 | 15 | 2017 |
| Reusing solutions modulo theories A Aquino, G Denaro, M Pezze IEEE Transactions on Software Engineering 47 (5), 948-968, 2019 | 6 | 2019 |
| Worst-case execution time testing via evolutionary symbolic execution A Aquino, G Denaro, P Salza 2018 IEEE 29th International Symposium on Software Reliability Engineering …, 2018 | 6 | 2018 |
| Facilitating program performance profiling via evolutionary symbolic execution A Aquino, P Braione, G Denaro, P Salza Software Testing, Verification and Reliability 30 (2), e1719, 2020 | 1 | 2020 |
| Scalable program analysis through proof caching (doctoral symposium) A Aquino Proceedings of the 2015 International Symposium on Software Testing and …, 2015 | 1 | 2015 |
