A Framework for Modular and Customizable Software Analysis

Pedro Martins, Nuno Ramos Carvalho, João Paulo Fernandes, José João Almeida, João Saraiva. A Framework for Modular and Customizable Software Analysis. In Beniamino Murgante, Sanjay Misra, Maurizio Carlini, Carmelo Mario Torre, Hong-Quang Nguyen, David Taniar, Bernady O. Apduhan, Osvaldo Gervasi, editors, Computational Science and Its Applications - ICCSA 2013 - 13th International Conference, Ho Chi Minh City, Vietnam, June 24-27, 2013, Proceedings, Part II. Volume 7972 of Lecture Notes in Computer Science, pages 443-458, Springer, 2013. [doi]

Abstract

Abstract is missing.