Andreas Johnsen, Kristina Lundqvist, Paul Pettersson, Kaj Hänninen
Regression verification of AADL models through slicing of system dependence graphs
QoSA, 2014.
@inproceedings{QoSA-2014-JohnsenLPH, author = "Andreas Johnsen and Kristina Lundqvist and Paul Pettersson and Kaj Hänninen", booktitle = "{Proceedings of the 10th International Conference on Quality of Software Architectures}", doi = "10.1145/2602576.2602589", isbn = "978-1-4503-2576-9", pages = "103--112", publisher = "{ACM}", title = "{Regression verification of AADL models through slicing of system dependence graphs}", year = 2014, }