Andreas Johnsen, Kristina Lundqvist, Paul Pettersson, Kaj Hänninen. Regression verification of AADL models through slicing of system dependence graphs. In Lionel Seinturier, Tomas Bures, John D. McGregor, editors, QoSA'14, Proceedings of the 10th International ACM SIGSOFT Conference on Quality of Software Architectures (part of CompArch 2014), Marcq-en-Baroeul, Lille, France, June 30 - July 04, 2014. pages 103-112, ACM, 2014. [doi]
Abstract is missing.