Finding inconsistency for UML-based composition at program level. - Hector Miguel Chavez; Wuwei Shen (MiSE@ICSE, 2009)

An approach to detection of UML-based ownership violation. - Hector Miguel Chavez; Wuwei Shen; Shaoying Liu (SAC, 2009)

An Approach to Testing Java Implementation against Its UML Class Model. - Hector Miguel Chavez; Wuwei Shen; Robert B. France; Benjamin A. Mechling (MoDELS, 2013)

Formalization of UML Composition in OCL. - Hector Miguel Chavez; Wuwei Shen (Int. J. Softw. Innov., 2013)

An Approach to Checking Consistency between UML Class Model and Its Java Implementation. - Hector Miguel Chavez; Wuwei Shen; Robert B. France; Benjamin A. Mechling; Guangyuan Li (IEEE Trans. Software Eng., 2016)