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 | 40 | 2013 |
MaxUSE: A Tool for Finding Achievable Constraints and Conflicts for Inconsistent UML Class Diagrams H Wu 13th International Conference on integrated Formal Methods, 2017 | 25 | 2017 |
QMaxUSE: A new tool for verifying UML class diagrams and OCL invariants H Wu Science of Computer Programming 228, 102955, 2023 | 22 | 2023 |
Generating Metamodel Instances Satisfying Coverage Criteria via SMT Solving H Wu The 4th International Conference on Model-Driven Engineering and Software …, 2016 | 19 | 2016 |
Metamodel instance generation: A systematic literature review H Wu, R Monahan, JF Power arXiv, 2012 | 19 | 2012 |
Finding Achievable Features and Constraint Conflicts for Inconsistent Metamodels H Wu 13th European Conference on Modelling Foundations and Applications 10376 …, 2017 | 14 | 2017 |
An SMT-based approach for generating coverage oriented metamodel instances H Wu International Journal of Information System Modeling and Design (IJISMD) 7 …, 2016 | 12 | 2016 |
A formal approach to finding inconsistencies in a metamodel H Wu, M Farrell Software and Systems Modeling 20 (4), 1271-1298, 2021 | 11 | 2021 |
QMaxUSE: A query-based verification tool for UML class diagrams with OCL invariants H Wu International Conference on Fundamental Approaches to Software Engineering …, 2022 | 6 | 2022 |
Step 0: An Idea for Automatic OCL Benchmark Generation H Wu 17th International Workshop in OCL and Textual Modeling, 2017 | 5 | 2017 |
Automated metamodel instance generation satisfying quantitative constraints W Hao PQDT-Global, 2013 | 5 | 2013 |
When the Student becomes the Teacher⋆ M Farrell, H Wu | 4 | 2019 |
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 | 4 | 2007 |
A Query-based Approach for Verifying UML Class Diagrams with OCL Invariants H Wu | 3 | 2022 |
Verifying OCL Operational Contracts via SMT-based Synthesising. H Wu, J Timoney MODELSWARD, 249-259, 2020 | 3 | 2020 |
Synthesising Call Sequences from OCL Operational Contracts H Wu The 34th ACM/SIGAPP Symposium on Applied Computing, 2019 | 3 | 2019 |
Test case generation for programming language metamodels H Wu, R Monahan, JF Power Proceedings of the Third International Conference, SLE 2010, 2010 | 3 | 2010 |
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 | 2 | 2024 |
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 | 2 | 2017 |
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 | 2 | 2007 |