Constraint-Based Model-Driven Testing of Web Services for Behavior Conformance. - Chang-Ai Sun; Meng Li 042; Jingting Jia; Jun Han 004 (ICSOC, 2018)

Improving Conformance of Web Services: A Constraint-based Model-driven Approach. - Chang-Ai Sun; An Fu; Jingting Jia; Meng Li 042; Jun Han 004 (ACM Trans. Web, 2023)

Detecting Inconsistencies in Microservice-Based Systems: An Annotation-Assisted Scenario-Oriented Approach. - Chang-Ai Sun; Yufei Gong; Meng Li 042; Luo Xu; Jun Han 004; Yanbo Han (IEEE Trans. Serv. Comput., 2024)