A UML Validation Toolset Based on Abstract State Machines. - Wuwei Shen; Kevin J. Compton; James Huggins 001 (ASE, 2001)

The application of abstract state machines in software engineering. - Wuwei Shen (2001)

A Toolset for Supporting UML Static and Dynamic Model Checking. - Wuwei Shen; Kevin J. Compton; James Huggins 001 (COMPSAC, 2002)

A Method of Implementing UML Virtual Machines With Some Constraints Based on Abstract State Machines. - Wuwei Shen; Kevin J. Compton; James Huggins 001 (APSEC, 2003)

Formalization, Testing and Execution of a Use Case Diagram. - Wuwei Shen; Shaoying Liu (ICFEM, 2003)

Execution of A Requirement Model in Software Development. - Wuwei Shen; Mohsen Guizani; Zijiang Yang; Kevin J. Compton; James Huggins 001 (IASSE, 2004)

Maintaining Life Perspectives During the Refinement of UML Class Structures. - Alexander Egyed; Wuwei Shen; Kun Wang (FASE, 2005)

Using Abstract State Machines to Support UML Model Instantiation Checking. - Wuwei Shen; Weng Liong Low (IASTED Conf. on Software Engineering, 2005)

Using the Metamodel Mechanism to Support Class Refinement. - Wuwei Shen; Weng Liong Low (ICECCS, 2005)

Improving the Accuracy of UML Class Model Recovery. - Kun Wang; Wuwei Shen (COMPSAC (1), 2007)

An approach to evaluating structural pattern conformance of UML models. - Dae-Kyoo Kim; Wuwei Shen (SAC, 2007)

Runtime Checking of UML Association-Related Constraints. - Kun Wang; Wuwei Shen (WODA@ICSE, 2007)

Flexible Aspect-Oriented Design Model Checking. - Wuwei Shen; W. Eric Wong (APSEC, 2008)

ICER: a tool for finding errors in a UML model. - Wuwei Shen; Dae-Kyoo Kim (SAC, 2008)

Evaluating pattern conformance of UML models: a divide-and-conquer approach and case studies. - Dae-Kyoo Kim; Wuwei Shen (Softw. Qual. J., 2008)

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 Efficient and Scalable Approach to Correct Class Model Refinement. - Wuwei Shen; Kun Wang; Alexander Egyed (IEEE Trans. Software Eng., 2009)

Supporting Flexible Reification of Design Patterns. - Wuwei Shen; Dae-Kyoo Kim; Jian Liu 008; Chen Zhao (APSEC, 2010)

An Automatic Testing Approach for Compiler Based on Metamorphic Testing Technique. - Qiuming Tao; Wei Wu; Chen Zhao; Wuwei Shen (APSEC, 2010)

Efficient Loop-Extended Model Checking of Data Structure Methods. - Qiuping Yi; Jian Liu 008; Wuwei Shen (FGIT-ASEA/DRBC/EL, 2011)

Applying SOFL to a Generic Insulin Pump Software Design. - Chung-Ling Ling; Wuwei Shen; Dionysios Kountanis (SOFL, 2012)

A formal approach to testing programs in practice. - Shaoying Liu; Wuwei Shen; Shin Nakajima 001 (Comput. Sci. Inf. Syst., 2012)

Using traceability links to identifying potentially erroneous artifacts during regulatory reviews. - Wuwei Shen; Chung-Ling Ling; Andrian Marcus (TEFSE@ICSE, 2013)

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

Using UML Profile and OCL to Impose Regulatory Requirements on Safety-Critical System. - Chung-Ling Ling; Wuwei Shen; Dionysios Kountanis (SNPD, 2013)

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

On the Use of Stack Traces to Improve Text Retrieval-Based Bug Localization. - Laura Moreno; John Joseph Treadway; Andrian Marcus; Wuwei Shen (ICSME, 2014)

Applying Safety Case Pattern to Generate Assurance Cases for Safety-Critical Systems. - Chung-Ling Lin; Wuwei Shen (HASE, 2015)

Generation of Assurance Cases for Medical Devices. - Chung-Ling Lin; Wuwei Shen (Computer and Information Science, 2015)

A Framework to Support Generation and Maintenance of an Assurance Case. - Chung-Ling Lin; Wuwei Shen; Steven Drager 001 (ISSRE Workshops, 2016)

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)

Foundation of a Framework to Support Compliance Checking in Construction Industry. - Wuwei Shen; Guangyuan Li; Chung-Ling Lin; Hongliang Liang (SOFL+MSVL, 2017)

Support for safety case generation via model transformation. - Chung-Ling Lin; Wuwei Shen; Richard Hawkins (SIGBED Rev., 2017)

USE: unified and split execution for exposing divergences between versions. - Hongliang Liang; Wenying Hu; Yini Zhang; Lin Jiang 002; Wuwei Shen (ICSE (Companion Volume), 2018)

Measure confidence of assurance cases in safety-critical domains. - Chung-Ling Lin; Wuwei Shen; Steven Drager 001; Betty H. C. Cheng (ICSE (NIER), 2018)

Automatic Support of the Generation and Maintenance of Assurance Cases. - Chung-Ling Lin; Wuwei Shen; Tao Yue 002; Guangyuan Li (SETTA, 2018)

Fuzzing: State of the Art. - Hongliang Liang; Xiaoxiao Pei; Xiaodong Jia; Wuwei Shen; Jian Zhang 001 (IEEE Trans. Reliab., 2018)

Measuring Confidence of Assurance Cases in Safety-Critical Domains. - Chung-Ling Lin; Wuwei Shen; Betty H. C. Cheng (HICSS, 2020)

On Verification of Smart Contracts via Model Checking. - Yulong Bao; Xue-Yang Zhu; Wenhui Zhang; Wuwei Shen; Pengfei Sun; Yingqi Zhao (TASE, 2022)

An Assurance Case Driven Development Paradigm for Autonomous Vehicles: An F1TENTH Racing Car Case Study. - Ioannis Nearchou; Lance Rafalko; Ryan Phillips; Matthew Anderson; Wuwei Shen; Steven Drager 001 (SERA, 2023)

Unified and Split Symbolic Execution for Exposing Semantic Differences. - Hongliang Liang; Luming Yin; Wenying Hu; Yuxiang Li; Wuwei Shen (ACM Trans. Softw. Eng. Methodol., 2025)