Andrea Aquino

According to our database, Andrea Aquino authored at least 6 papers between 2015 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2021

Reusing Solutions Modulo Theories.

Andrea Aquino, Giovanni Denaro, Mauro Pezzè

IEEE Trans. Software Eng., 2021

2020

Facilitating program performance profiling via evolutionary symbolic execution.

Andrea Aquino, Pietro Braione, Giovanni Denaro, Pasquale Salza

Softw. Test. Verification Reliab., 2020

2018

Worst-Case Execution Time Testing via Evolutionary Symbolic Execution.

Andrea Aquino, Giovanni Denaro, Pasquale Salza

Proceedings of the 29th IEEE International Symposium on Software Reliability Engineering, 2018

2017

Heuristically matching solution spaces of arithmetic formulas to efficiently reuse solutions.

Andrea Aquino, Giovanni Denaro, Mauro Pezzè

Proceedings of the 39th International Conference on Software Engineering, 2017

2015

Reusing constraint proofs in program analysis.

Andrea Aquino, Francesco A. Bianchi, Meixian Chen, Giovanni Denaro, Mauro Pezzè

Proceedings of the 2015 International Symposium on Software Testing and Analysis, 2015

Scalable program analysis through proof caching (doctoral symposium).

Andrea Aquino

Proceedings of the 2015 International Symposium on Software Testing and Analysis, 2015