Follow
Hao Wu 吴昊
Title
Cited by
Cited by
Year
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
402013
MaxUSE: A Tool for Finding Achievable Constraints and Conflicts for Inconsistent UML Class Diagrams
H Wu
13th International Conference on integrated Formal Methods, 2017
252017
QMaxUSE: A new tool for verifying UML class diagrams and OCL invariants
H Wu
Science of Computer Programming 228, 102955, 2023
222023
Generating Metamodel Instances Satisfying Coverage Criteria via SMT Solving
H Wu
The 4th International Conference on Model-Driven Engineering and Software …, 2016
192016
Metamodel instance generation: A systematic literature review
H Wu, R Monahan, JF Power
arXiv, 2012
192012
Finding Achievable Features and Constraint Conflicts for Inconsistent Metamodels
H Wu
13th European Conference on Modelling Foundations and Applications 10376 …, 2017
142017
An SMT-based approach for generating coverage oriented metamodel instances
H Wu
International Journal of Information System Modeling and Design (IJISMD) 7 …, 2016
122016
A formal approach to finding inconsistencies in a metamodel
H Wu, M Farrell
Software and Systems Modeling 20 (4), 1271-1298, 2021
112021
QMaxUSE: A query-based verification tool for UML class diagrams with OCL invariants
H Wu
International Conference on Fundamental Approaches to Software Engineering …, 2022
62022
Step 0: An Idea for Automatic OCL Benchmark Generation
H Wu
17th International Workshop in OCL and Textual Modeling, 2017
52017
Automated metamodel instance generation satisfying quantitative constraints
W Hao
PQDT-Global, 2013
52013
When the Student becomes the Teacher⋆
M Farrell, H Wu
42019
System and method for verifying a layout of circuit traces on a motherboard
H Wu, J Peng, YL Lin
US Patent 7,219,318, 2007
42007
A Query-based Approach for Verifying UML Class Diagrams with OCL Invariants
H Wu
32022
Verifying OCL Operational Contracts via SMT-based Synthesising.
H Wu, J Timoney
MODELSWARD, 249-259, 2020
32020
Synthesising Call Sequences from OCL Operational Contracts
H Wu
The 34th ACM/SIGAPP Symposium on Applied Computing, 2019
32019
Test case generation for programming language metamodels
H Wu, R Monahan, JF Power
Proceedings of the Third International Conference, SLE 2010, 2010
32010
A decision procedure for string constraints with string/integer conversion and flat regular constraints
H Wu, YF Chen, Z Wu, B Xia, N Zhan
Acta Informatica 61 (1), 23-52, 2024
22024
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
22017
A study on the performance of drilling mud thinner sulfomethylated tannin of tara (SMT-T)
Z Jianyun, L Zhiguo, W Hao
Biomass Chemical Engineering 47 (3), 21-26, 2007
22007
The system can't perform the operation now. Try again later.
Articles 1–20