Impact Analysis via Reachability and Alias Analysis

Wen Chen, Alan Wassyng, Tom Maibaum. Impact Analysis via Reachability and Alias Analysis. In Ulrich Frank, Pericles Loucopoulos, Óscar Pastor, Ilias Petrounias, editors, The Practice of Enterprise Modeling - 7th IFIP WG 8.1 Working Conference, PoEM 2014, Manchester, UK, November 12-13, 2014. Proceedings. Volume 197 of Lecture Notes in Business Information Processing, pages 261-270, Springer, 2014. [doi]

Abstract

Abstract is missing.