Pietro Braione, Giovanni Denaro, Oliviero Riganelli, Mauro Baluda, Ali Muhammad. Static/Dynamic Test Case Generation For Software Upgrades via ARC-B and Deltatest. In Hana Chockler, Daniel Kroening, Leonardo Mariani, Natasha Sharygina, editors, Validation of Evolving Software. pages 147-184, Springer, 2015. [doi]
Abstract is missing.