Integrated analysis of software product lines: a constraint based framework for consistency, liveness, and commonness checking

Jean-Vivien Millo, Swarup Mohalik, S. Ramesh. Integrated analysis of software product lines: a constraint based framework for consistency, liveness, and commonness checking. In Arun Bahulkar, K. Kesavasamy, T. V. Prabhakar, Gautam Shroff, editors, Proceeding of the 4th Annual India Software Engineering Conference, ISEC 2011, Thiruvananthapuram, Kerala, India, February 24-27, 2011. pages 41-50, ACM, 2011. [doi]

Abstract

Abstract is missing.