Zen-CC: An Automated and Incremental Conformance Checking Solution to Support Interactive Product Configuration

Hong Lu, Tao Yue, Shaukat Ali, Kunming Nie, Li Zhang. Zen-CC: An Automated and Incremental Conformance Checking Solution to Support Interactive Product Configuration. In 25th IEEE International Symposium on Software Reliability Engineering, ISSRE 2014, Naples, Italy, November 3-6, 2014. pages 13-22, IEEE, 2014. [doi]

Abstract

Abstract is missing.