Simone Fulvio Rollini, Leonardo Alt, Grigory Fedyukovich, Antti Eero Johannes Hyvärinen, Natasha Sharygina. Optimizing Function Summaries Through Interpolation. In Hana Chockler, Daniel Kroening, Leonardo Mariani, Natasha Sharygina, editors, Validation of Evolving Software. pages 73-82, Springer, 2015. [doi]