Zen-CC: An Automated and Incremental Conformance Checking Solution to Support Interactive Product Configuration. - Hong Lu 005; Tao Yue 002; Shaukat Ali 001; Kunming Nie; Li Zhang 029 (ISSRE, 2014)

Generating boundary values from OCL constraints using constraints rewriting and search algorithms. - Shaukat Ali 001; Tao Yue 002; Xiang Qiu; Hong Lu 005 (CEC, 2016)

MBF4CR: A Model-Based Framework for Supporting an Automated Cancer Registry System. - Shuai Wang 001; Hong Lu 005; Tao Yue 002; Shaukat Ali 001; Jan Nygård (ECMFA, 2016)

Nonconformity Resolving Recommendations for Product Line Configuration. - Hong Lu 005; Tao Yue 002; Shaukat Ali 001; Li Zhang 029 (ICST, 2016)

Search-based Decision Ordering to Facilitate Product Line Engineering of Cyber-Physical System. - Tao Yue 002; Shaukat Ali 001; Hong Lu 005; Kunming Nie (MODELSWARD, 2016)

Evaluating Variability Modeling Techniques for Supporting Cyber-Physical System Product Line Engineering. - Safdar Aqeel Safdar; Tao Yue 002; Shaukat Ali 001; Hong Lu 005 (SAM, 2016)

Model-based incremental conformance checking to enable interactive product configuration. - Hong Lu 005; Tao Yue 002; Shaukat Ali 001; Li Zhang 029 (Inf. Softw. Technol., 2016)

Mining cross product line rules with multi-objective search and machine learning. - Safdar Aqeel Safdar; Hong Lu 005; Tao Yue 002; Shaukat Ali 001 (GECCO, 2017)

Product Line Engineering of Monitoring Functionality in Industrial Cyber-Physical Systems: A Domain Analysis. - Aitziber Iglesias; Hong Lu 005; Cristóbal Arellano; Tao Yue 002; Shaukat Ali 001; Goiuria Sagardui (SPLC (A), 2017)

Chapter Two - Uncertainty-Wise Testing of Cyber-Physical Systems. - Shaukat Ali 001; Hong Lu 005; Shuai Wang 001; Tao Yue 002; Man Zhang 001 (Adv. Comput., 2017)

Automated Refactoring of OCL Constraints with Search. - Hong Lu 005; Shuai Wang 001; Tao Yue 002; Shaukat Ali 001; Jan F. Nygård (IEEE Trans. Software Eng., 2019)

Using multi-objective search and machine learning to infer rules constraining product configurations. - Safdar Aqeel Safdar; Tao Yue 002; Shaukat Ali 001; Hong Lu 005 (Autom. Softw. Eng., 2020)

Pattern-based Interactive Configuration Derivation for Cyber-physical System Product Lines. - Hong Lu 005; Tao Yue 002; Shaukat Ali 001 (ACM Trans. Cyber Phys. Syst., 2020)

A framework for automated multi-stage and multi-step product configuration of cyber-physical systems. - Safdar Aqeel Safdar; Hong Lu 005; Tao Yue 002; Shaukat Ali 001; Kunming Nie (Softw. Syst. Model., 2021)