Segui
Andrea Aquino
Andrea Aquino
Email verificata su usi.ch - Home page
Titolo
Citata da
Citata da
Anno
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
372015
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
152017
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
62018
Reusing solutions modulo theories
A Aquino, G Denaro, M Pezze
IEEE Transactions on Software Engineering 47 (5), 948-968, 2019
52019
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
12020
Scalable program analysis through proof caching (doctoral symposium)
A Aquino
Proceedings of the 2015 International Symposium on Software Testing and …, 2015
12015
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–6