My research aims to create automated software and tools for solving all kinds of problems in software engineering domains . The areas that I am generally intersted in are modelling, refactoring, automatic grading system, program sythesis, relational database and software testing. More specifically, my current research are focusing on using formal methods (SAT/SMT) in model driven engineering and domain specific/solver aided language design.
Room 135, Eolas Building


[1] Hao Wu. MaxUSE: A Tool for Finding Achievable Constraints and Conflicts for Inconsistent UML Class Diagrams. In Proceedings of 13th International Conference on integrated Formal Methods (iFM 2017), September 2017 [to appear] [PREPRINT] [GIT].

[2] Hao Wu. Step 0: An Idea for Automatic OCL Benchmark Generation. In Proceedings of 17th International Workshop in OCL and Textual Modeling (OCL@STAF 2017), July 2017 [PDF] [GIT].

[3] Hao Wu.  Finding Achievable Features and Constraint Conflicts for Inconsistent Metamodels. In Proceedings of 13th European Conference on Modelling Foundations and Applications (ECMFA@STAF 2017), July 2017 [PDF] [PREPRINT] [GIT].

[4] Hussein Gannud, Hao Wu and Joseph Timoney.  Applying a MDE Approach to a Healthcare Environment: a case study of an AE dept. In Proceedings of 28th Irish Signals and Systems Conference (ISSC), June 2017. 

[5] Hao Wu. An SMT-based Approach for Generating Coverage Oriented Metamodel Instances. In International Journal of Information System Modelling and Design: vol 7, issue 3, 2016. [PDF][IJISMD].

[6] Hao Wu. Generating Metamodel Instances Satisfying Coverage Criteria via SMT Solving. In Proceedings of 4th International Conference on Model-Driven Engineering and Software Development (MODELSWARD), February 2016. (nominated for best paper) [PDF] [GIT].

[7] Hao Wu, Rosemary Monahan and James F. Power. Exploiting Attributed Type Graphs to Generate Metamodel Instances using an SMT Solver. In Proceedings of 7th International Symposium On Theoretical Aspects of Software Engineering (TASE), July 2013.  [PDF] [GIT].

[8] Hao Wu, Rosemary Monahan and James F. Power. Metamodel Instance Generation: A systematic literature review., 2012. [PDF].

[9] Hao Wu, Rosemary Monahan and James F. Power. Test Case Generation for Programming Language Metamodels. In Proceedings of 1st Doctoral Symposium of the 3rd International Conference on Software Language Engineering (SLE), October 2010. [PDF].

[10] Hao Wu, Rosemary Monahan and James F. Power. Using ATL in a tool chain to calculate coverage data for UML class diagrams. In Proceedings of 2nd International Workshop on Model Transformation with ATL, October 2010. [PDF].


CS310: Programming Languages and Compilers (2013 - 2016), undergraduate [SLIDES].
CS357: Software Verification (2015 - 2016), undergraduate [SLIDES].
CS210: Algorithms and Data Structures (2016), Texas Tech Summer School [SLIDES].
CS603: Rigorous Software Development (2015), master [SLIDES].
CS370: Computability and Complexities (2014), undergraduate.
CS355: Theory of Computation (2013), undergraduate.