Wuwei Shen

Publication Activity (10 Years)

Years Active: 2001-2023
Publications (10 Years): 11

Top Topics

Adaptive Systems

Bug Localization

Top Venues

ICSE (Companion Volume)

Publications

Ioannis Nearchou, Lance Rafalko, Ryan Phillips, Matthew Anderson, Wuwei Shen, Steven Drager
An Assurance Case Driven Development Paradigm for Autonomous Vehicles: An F1TENTH Racing Car Case Study. SERA (2023)
Yulong Bao, Xue-Yang Zhu, Wenhui Zhang, Wuwei Shen, Pengfei Sun, Yingqi Zhao
On Verification of Smart Contracts via Model Checking. TASE (2022)
Chung-Ling Lin, Wuwei Shen, Betty H. C. Cheng
Measuring Confidence of Assurance Cases in Safety-Critical Domains. HICSS (2020)
Chung-Ling Lin, Wuwei Shen, Steven Drager, Betty H. C. Cheng
Measure confidence of assurance cases in safety-critical domains. ICSE (NIER) (2018)
Hongliang Liang, Wenying Hu, Yini Zhang, Lin Jiang, Wuwei Shen
USE: unified and split execution for exposing divergences between versions. ICSE (Companion Volume) (2018)
Hongliang Liang, Xiaoxiao Pei, Xiaodong Jia, Wuwei Shen, Jian Zhang
Fuzzing: State of the Art. IEEE Trans. Reliab. 67 (3) (2018)
Chung-Ling Lin, Wuwei Shen, Tao Yue, Guangyuan Li
Automatic Support of the Generation and Maintenance of Assurance Cases. SETTA (2018)
Chung-Ling Lin, Wuwei Shen, Richard Hawkins
Support for safety case generation via model transformation. SIGBED Rev. 14 (2) (2017)
Wuwei Shen, Guangyuan Li, Chung-Ling Lin, Hongliang Liang
Foundation of a Framework to Support Compliance Checking in Construction Industry. SOFL+MSVL (2017)
Chung-Ling Lin, Wuwei Shen, Steven Drager
A Framework to Support Generation and Maintenance of an Assurance Case. ISSRE Workshops (2016)
Hector Miguel Chavez, Wuwei Shen, Robert B. France, Benjamin A. Mechling, Guangyuan Li
An Approach to Checking Consistency between UML Class Model and Its Java Implementation. IEEE Trans. Software Eng. 42 (4) (2016)
Chung-Ling Lin, Wuwei Shen
Applying Safety Case Pattern to Generate Assurance Cases for Safety-Critical Systems. HASE (2015)
Laura Moreno, John Joseph Treadway, Andrian Marcus, Wuwei Shen
On the Use of Stack Traces to Improve Text Retrieval-Based Bug Localization. ICSME (2014)
Hector Miguel Chavez, Wuwei Shen, Robert B. France, Benjamin A. Mechling
An Approach to Testing Java Implementation against Its UML Class Model. MoDELS (2013)
Hector Miguel Chavez, Wuwei Shen
Formalization of UML Composition in OCL. Int. J. Softw. Innov. 1 (1) (2013)
Wuwei Shen, Chung-Ling Ling, Andrian Marcus
Using traceability links to identifying potentially erroneous artifacts during regulatory reviews. TEFSE@ICSE (2013)
Chung-Ling Ling, Wuwei Shen, Dionysios Kountanis
Using UML Profile and OCL to Impose Regulatory Requirements on Safety-Critical System. SNPD (2013)
Hector Miguel Chavez, Wuwei Shen
Formalization of UML Composition in OCL. ACIS-ICIS (2012)
Shaoying Liu, Wuwei Shen, Shin Nakajima
A formal approach to testing programs in practice. Comput. Sci. Inf. Syst. 9 (4) (2012)
Chung-Ling Ling, Wuwei Shen, Dionysios Kountanis
Applying SOFL to a Generic Insulin Pump Software Design. SOFL (2012)
Qiuping Yi, Jian Liu, Wuwei Shen
Efficient Loop-Extended Model Checking of Data Structure Methods. FGIT-ASEA/DRBC/EL (2011)
Wuwei Shen, Dae-Kyoo Kim, Jian Liu, Chen Zhao
Supporting Flexible Reification of Design Patterns. APSEC (2010)
Qiuming Tao, Wei Wu, Chen Zhao, Wuwei Shen
An Automatic Testing Approach for Compiler Based on Metamorphic Testing Technique. APSEC (2010)
Wuwei Shen, Kun Wang, Alexander Egyed
An Efficient and Scalable Approach to Correct Class Model Refinement. IEEE Trans. Software Eng. 35 (4) (2009)
Hector Miguel Chavez, Wuwei Shen
Finding inconsistency for UML-based composition at program level. MiSE@ICSE (2009)
Hector Miguel Chavez, Wuwei Shen, Shaoying Liu
An approach to detection of UML-based ownership violation. SAC (2009)
Wuwei Shen, W. Eric Wong
Flexible Aspect-Oriented Design Model Checking. APSEC (2008)
Wuwei Shen, Dae-Kyoo Kim
ICER: a tool for finding errors in a UML model. SAC (2008)
Dae-Kyoo Kim, Wuwei Shen
Evaluating pattern conformance of UML models: a divide-and-conquer approach and case studies. Softw. Qual. J. 16 (3) (2008)
Kun Wang, Wuwei Shen
Improving the Accuracy of UML Class Model Recovery. COMPSAC (1) (2007)
Dae-Kyoo Kim, Wuwei Shen
An approach to evaluating structural pattern conformance of UML models. SAC (2007)
Kun Wang, Wuwei Shen
Runtime Checking of UML Association-Related Constraints. WODA@ICSE (2007)
Alexander Egyed, Wuwei Shen, Kun Wang
Maintaining Life Perspectives During the Refinement of UML Class Structures. FASE (2005)
Wuwei Shen, Weng Liong Low
Using the Metamodel Mechanism to Support Class Refinement. ICECCS (2005)
Wuwei Shen, Weng Liong Low
Using Abstract State Machines to Support UML Model Instantiation Checking. IASTED Conf. on Software Engineering (2005)
Wuwei Shen, Mohsen Guizani, Zijiang Yang, Kevin J. Compton, James Huggins
Execution of A Requirement Model in Software Development. IASSE (2004)
Wuwei Shen, Kevin J. Compton, James Huggins
A Method of Implementing UML Virtual Machines With Some Constraints Based on Abstract State Machines. APSEC (2003)
Wuwei Shen, Shaoying Liu
Formalization, Testing and Execution of a Use Case Diagram. ICFEM (2003)
Wuwei Shen, Kevin J. Compton, James Huggins
A Toolset for Supporting UML Static and Dynamic Model Checking. COMPSAC (2002)
Wuwei Shen, Kevin J. Compton, James Huggins
A UML Validation Toolset Based on Abstract State Machines. ASE (2001)