Model-based Testing and Monitoring using AgileUML. - Kevin Lano; Kunxiang Jin; Shefali Tyagi (ANT/EDI40, 2021)

Generation of Test Cases from UML Diagrams - A Systematic Literature Review. - Kunxiang Jin; Kevin Lano (ISEC, 2021)

Mutation Operators for Object Constraint Language Specification. - Kunxiang Jin; Kevin Lano (STAF Workshops, 2021)

OCL-based test case prioritisation using AgileUML. - Kunxiang Jin; Kevin Lano (MoDELS (Companion), 2022)

Design and classification of mutation operators for OCL specification. - Kunxiang Jin; Kevin Lano (MoDELS (Companion), 2022)

OCL libraries for software specification and representation. - Kevin Lano; Shekoufeh Kolahdouz Rahimi; Kunxiang Jin (MoDELS (Companion), 2022)

Object Constraint Language based test case optimization with modified Average Percentage of Fault Detection metric. - Kunxiang Jin; Kevin Lano (J. Softw. Evol. Process., 2024)