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 and Monahan, Rosemary and Power, James F. (2012) Metamodel Instance Generation: A systematic literature review. arXiv.

Wu, Hao and 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 and 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 and 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 and 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 and 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 and 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.