Model-based incremental conformance checking to enable interactive product configuration

Hong Lu, Tao Yue, Shaukat Ali, Li Zhang. Model-based incremental conformance checking to enable interactive product configuration. Information \& Software Technology, 72:68-89, 2016. [doi]

Abstract

Abstract is missing.