Hao Wu
Cited by
Cited by
Exploiting attributed type graphs to generate metamodel instances using an SMT solver
H Wu, R Monahan, JF Power
2013 International Symposium on Theoretical Aspects of Software Engineering …, 2013
Metamodel instance generation: A systematic literature review
H Wu, R Monahan, JF Power
arXiv preprint arXiv:1211.6322, 2012
MaxUSE: A Tool for Finding Achievable Constraints and Conflicts for Inconsistent UML Class Diagrams
H Wu
13th International Conference on integrated Formal Methods, 2017
Generating Metamodel Instances Satisfying Coverage Criteria via SMT Solving
H Wu
The 4th International Conference on Model-Driven Engineering and Software …, 2016
Finding Achievable Features and Constraint Conflicts for Inconsistent Metamodels
H Wu
13th European Conference on Modelling Foundations and Applications 10376 …, 2017
An SMT-based approach for generating coverage oriented metamodel instances
H Wu
International Journal of Information System Modeling and Design (IJISMD) 7 …, 2016
Automated Metamodel Instance Generation Satisfying Quantitative Constraints
H Wu
Maynooth University, 2014
Automated metamodel instance generation satisfying quantitative constraints
W Hao
National University of Ireland Maynooth, 2013
Test case generation for programming language metamodels
H Wu, R Monahan, JF Power
Proceedings of the Third International Conference, SLE 2010, 2010
When the Student becomes the Teacher⋆
M Farrell, H Wu
Synthesising Call Sequences from OCL Operational Contracts
H Wu
The 34th ACM/SIGAPP Symposium on Applied Computing, 2019
Applying a MDE approach to a Healthcare Environment: A Case Study of an AE Dept
H Gannud, H Wu, J Timoney
2017 28th Irish Signals and Systems Conference (ISSC), 1-7, 2017
A Formal Approach to Finding Metamodel Inconsistencies
H Wu, M Farrell
Software and System Modeling, 2020
Verifying OCL Operational Contracts via SMT-based Synthesising.
H Wu, J Timoney
MODELSWARD, 249-259, 2020
19th International Workshop in OCL and Textual Modeling (OCL 2019)
AD Brucker, R Clarisó, H Wu
Object Constraint Language and Textual Modeling 2019, 2019
A workflow for healthcare systems via OCL and SMT solving: short paper
H Wu, L Hinsberger, J Timoney
Proceedings of the International Workshop on Software Engineering in …, 2018
Step 0: An Idea for Automatic OCL Benchmark Generation
H Wu
17th International Workshop in OCL and Textual Modeling, 2017
Using ATL in a tool-chain to calculate coverage data for UML class diagrams
H Wu, R Monahan, JF Power
Characterising the workload of SMT solvers for program verification
A Healy, R Monahan, JF Power
Automated Reasoning Workshop 2015 Bridging the Gap between Theory and …, 0
Principles of Programming Research Group
R Monahan, B Pearlmutter, J Power, K Casey, Z Cheng, H Wu, P Gibson, ...
The system can't perform the operation now. Try again later.
Articles 1–20