Fabrizio Pastore, Leonardo Mariani, Alberto Goffi, Manuel Oriol, Michael Wahler. RADAR: Dynamic Analysis of Upgrades in C/C++ Software. In Hana Chockler, Daniel Kroening, Leonardo Mariani, Natasha Sharygina, editors, Validation of Evolving Software. pages 85-105, Springer, 2015. [doi]
Abstract is missing.