Andrea Aquino
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
3
Active years
2015–2018
Best venue rank
A*
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2018 | ISSRE | Worst-Case Execution Time Testing via Evolutionary Symbolic Execution. | Andrea Aquino, Giovanni Denaro, Pasquale Salza |
| 2017 | ICSE | Heuristically matching solution spaces of arithmetic formulas to efficiently reuse solutions. | Andrea Aquino, Giovanni Denaro, Mauro Pezz |
| 2015 | ISSTA | Scalable program analysis through proof caching (doctoral symposium). | Andrea Aquino |
| 2015 | ISSTA | Reusing constraint proofs in program analysis. | Andrea Aquino, Francesco A. Bianchi, Meixian Chen, Giovanni Denaro, Mauro Pezz |