Andrea Aquino
Andrea Aquino
Verified email at usi.ch - Homepage
Title
Cited by
Cited by
Year
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
282015
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
132017
Reusing solutions modulo theories
A Aquino, G Denaro, M Pezze
IEEE Transactions on Software Engineering, 2019
32019
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
32018
Scalable program analysis through proof caching (doctoral symposium)
A Aquino
Proceedings of the 2015 International Symposium on Software Testing and …, 2015
12015
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
2020
The system can't perform the operation now. Try again later.
Articles 1–6