Automated and Incremental Conformance Checking to Support Interactive Product Configuration

Automated and Incremental Conformance Checking to Support Interactive Product Configuration

Authors
H. Lu, T. Yue, S. Ali, K. Nie and L. Zhang