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
242015
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
92017
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
Reusing Solutions Modulo Theories
A Aquino, G Denaro, M Pezzé
IEEE Transactions on Software Engineering, 2019
12019
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, e1719, 2019
2019
The system can't perform the operation now. Try again later.
Articles 1–6