Metamodel Instance Generation: A systematic literature review - Hao Wu 017; Rosemary Monahan; James F. Power (CoRR, 2012)

Exploiting Attributed Type Graphs to Generate Metamodel Instances Using an SMT Solver. - Hao Wu 017; Rosemary Monahan; James F. Power (TASE, 2013)

Generating Metamodel Instances Satisfying Coverage Criteria via SMT Solving. - Hao Wu 017 (MODELSWARD, 2016)

An SMT-based Approach for Generating Coverage Oriented Metamodel Instances. - Hao Wu 017 (Int. J. Inf. Syst. Model. Des., 2016)

Finding Achievable Features and Constraint Conflicts for Inconsistent Metamodels. - Hao Wu 017 (ECMFA, 2017)

MaxUSE: A Tool for Finding Achievable Constraints and Conflicts for Inconsistent UML Class Diagrams. - Hao Wu 017 (IFM, 2017)

Step 0: An Idea for Automatic OCL Benchmark Generation. - Hao Wu 017 (STAF Workshops, 2017)

A Workflow for Healthcare Systems via OCL and SMT Solving. - Hao Wu 017; Laure Hinsberger; Joseph Timoney (SEHS@ICSE, 2018)

When the Student Becomes the Teacher. - Marie Farrell; Hao Wu 017 (FMFun, 2019)

Synthesising call sequences from OCL operational contracts. - Hao Wu 017 (SAC, 2019)

Verifying OCL Operational Contracts via SMT-based Synthesising. - Hao Wu 017; Joseph Timoney (MODELSWARD, 2020)

A formal approach to finding inconsistencies in a metamodel. - Hao Wu 017; Marie Farrell (Softw. Syst. Model., 2021)

QMaxUSE: A Query-based Verification Tool for UML Class Diagrams with OCL Invariants. - Hao Wu 017 (FASE, 2022)

A Query-based Approach for Verifying UML Class Diagrams with OCL Invariants. - Hao Wu 017 (J. Object Technol., 2022)

Verifying Event-B Hybrid Models Using Cyclone. - Hao Wu 017; Zheng Cheng (ABZ, 2023)

QMaxUSE: A new tool for verifying UML class diagrams and OCL invariants. - Hao Wu 017 (Sci. Comput. Program., 2023)

Verifying UML Models Annotated with OCL Strings. - Ankit Jha; Rosemary Monahan; Hao Wu 017 (MoDELS (Companion), 2024)

Cyclone: A New Tool for Verifying/Testing Graph-Based Structures - Tool Paper. - Hao Wu 017; Thomas Flinkow; Dominique Méry (TAP, 2024)