Zen-CI: Combining Automated Configuration Inference and Incremental Conformance Checking to Support Interactive Configuration of Product LinesAuthorsH. Lu, T. Yue, S. Ali and L. ZhangStatusPublishedPublication typeTechnical ReportsYear of publication2015Journal-PublisherSimula Research LaboratoryCitation key14538Google Scholar BibTex