Article

Wu, Hao (2022) A Query-based Approach for Verifying UML Class Diagrams with OCL Invariants. The Journal of Object Technology, 21 (3). 3:1. ISSN 1660-1769

Wu, Hao and Farrell, Marie (2021) A formal approach to finding inconsistencies in a metamodel. Software and Systems Modeling, 20 (4). pp. 1271-1298. ISSN 1619-1366

Wu, Hao, Monahan, Rosemary and Power, James F. (2012) Metamodel Instance Generation: A systematic literature review. arXiv.

Wu, Hao, Monahan, Rosemary and Power, James F. (2010) Test Case Generation for Programming Language Metamodels. Proceedings of the Third International Conference, SLE 2010. ISSN 978-3-642-19439-9

Wu, Hao, Monahan, Rosemary and Power, James F. (2010) Using ATL in a tool-chain to calculate coverage data for UML class diagrams. Proceedings of the 2nd International Workshop on Model Transformation with ATL. pp. 60-64. ISSN 1613-0073

Book Section

Wu, Hao (2019) Synthesising Call Sequences from OCL Operational Contracts. In: Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing. Association for Computing Machinery, New York, United States, pp. 1871-1873. ISBN 9781450359337

Gannud, Hussein, Wu, Hao and Timoney, Joseph (2017) Applying a MDE approach to a healthcare environment: A case study of an AE dept. In: 2017 28th Irish Signals and Systems Conference (ISSC). Institute of Electrical and Electronic Engineers, Red Hook, NY, USA. ISBN 978-1-5386-1046-6

Wu, Hao (2017) Finding Achievable Features and Constraint Conflicts for Inconsistent Metamodels. In: Modelling Foundations and Applications : Proceedings. Lecture Notes in Computer Science (10376). Springer, Cham, Switzerland, pp. 179-196. ISBN 978-3-319-61481-6

Wu, Hao (2017) MaxUSE: A Tool for Finding Achievable Constraints and Conflicts for Inconsistent UML Class Diagrams. In: Integrated Formal Methods : Proceedings. Lecture Notes in Computer Science (10510). Springer, Cham, Switzerland, pp. 348-356. ISBN 978-3-319-66844-4

Wu, Hao (2017) Step 0: An Idea for Automatic OCL Benchmark Generation. In: Software Technologies: Applications and Foundations : Revised Selected Papers. Lecture Notes in Computer Science (10748). Springer, Cham, Switzerland, pp. 356-364. ISBN 978-3-319-74729-3

Wu, Hao, Monahan, Rosemary and Power, James F. (2013) Exploiting attributed type graphs to generate metamodel instances using an SMT solver. In: International Symposium on Theoretical Aspects of Software Engineering (TASE), 2013. IEEE, pp. 175-182. ISBN 9780768550534

Conference or Workshop Item

Wu, Hao, Hinsberger, Laure and Timoney, Joseph (2018) A workflow for healthcare systems via OCL and SMT solving: Short paper. In: SEHS'18, 27 May 2018, Gothenburg, Sweden.

Wu, Hao, Monahan, Rosemary and Power, James F. (2010) Using ATL in a tool-chain to calculate coverage data for UML class diagrams. In: 2nd International Workshop on Model Transformation with ATL (MtATL), June 30th 2010, Malaga, Spain . (Unpublished)

Thesis

Wu, Hao (2013) Automated Metamodel Instance Generation Satisfying Quantitative Constraints. PhD thesis, National University of Ireland Maynooth.