Wuwei Shen

According to our database, Wuwei Shen authored at least 41 papers between 2001 and 2023.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2023

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

Proceedings of the 21st IEEE/ACIS International Conference on Software Engineering Research, 2023

2022

On Verification of Smart Contracts via Model Checking.

Yulong Bao, Xue-Yang Zhu, Wenhui Zhang, Wuwei Shen, Pengfei Sun, Yingqi Zhao

Proceedings of the Theoretical Aspects of Software Engineering, 2022

2020

Measuring Confidence of Assurance Cases in Safety-Critical Domains.

Chung-Ling Lin, Wuwei Shen, Betty H. C. Cheng

Proceedings of the 53rd Hawaii International Conference on System Sciences, 2020

2018

Fuzzing: State of the Art.

Hongliang Liang, Xiaoxiao Pei, Xiaodong Jia, Wuwei Shen, Jian Zhang

IEEE Trans. Reliab., 2018

Automatic Support of the Generation and Maintenance of Assurance Cases.

Chung-Ling Lin, Wuwei Shen, Tao Yue, Guangyuan Li

Proceedings of the Dependable Software Engineering. Theories, Tools, and Applications, 2018

Measure confidence of assurance cases in safety-critical domains.

Chung-Ling Lin, Wuwei Shen, Steven Drager, Betty H. C. Cheng

Proceedings of the 40th International Conference on Software Engineering: New Ideas and Emerging Results, 2018

USE: unified and split execution for exposing divergences between versions.

Hongliang Liang, Wenying Hu, Yini Zhang, Lin Jiang, Wuwei Shen

Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings, 2018

2017

Support for safety case generation via model transformation.

Chung-Ling Lin, Wuwei Shen, Richard Hawkins

SIGBED Rev., 2017

Foundation of a Framework to Support Compliance Checking in Construction Industry.

Wuwei Shen, Guangyuan Li, Chung-Ling Lin, Hongliang Liang

Proceedings of the Structured Object-Oriented Formal Language and Method, 2017

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

A Framework to Support Generation and Maintenance of an Assurance Case.

Chung-Ling Lin, Wuwei Shen, Steven Drager

Proceedings of the 2016 IEEE International Symposium on Software Reliability Engineering Workshops, 2016

2015

Generation of Assurance Cases for Medical Devices.

Chung-Ling Lin, Wuwei Shen

Proceedings of the Computer and Information Science, 2015

Applying Safety Case Pattern to Generate Assurance Cases for Safety-Critical Systems.

Chung-Ling Lin, Wuwei Shen

Proceedings of the 16th IEEE International Symposium on High Assurance Systems Engineering, 2015

2014

On the Use of Stack Traces to Improve Text Retrieval-Based Bug Localization.

Laura Moreno, John Joseph Treadway, Andrian Marcus, Wuwei Shen

Proceedings of the 30th IEEE International Conference on Software Maintenance and Evolution, Victoria, BC, Canada, September 29, 2014

2013

Formalization of UML Composition in OCL.

Hector Miguel Chavez, Wuwei Shen

Int. J. Softw. Innov., 2013

Using UML Profile and OCL to Impose Regulatory Requirements on Safety-Critical System.

Chung-Ling Ling, Wuwei Shen, Dionysios Kountanis

Proceedings of the 14th ACIS International Conference on Software Engineering, 2013

An Approach to Testing Java Implementation against Its UML Class Model.

Hector Miguel Chavez, Wuwei Shen, Robert B. France, Benjamin A. Mechling

Proceedings of the Model-Driven Engineering Languages and Systems, 2013

Using traceability links to identifying potentially erroneous artifacts during regulatory reviews.

Wuwei Shen, Chung-Ling Ling, Andrian Marcus

Proceedings of the 7th International Workshop on Traceability in Emerging Forms of Software Engineering, 2013

2012

A formal approach to testing programs in practice.

Shaoying Liu, Wuwei Shen, Shin Nakajima

Comput. Sci. Inf. Syst., 2012

Applying SOFL to a Generic Insulin Pump Software Design.

Chung-Ling Ling, Wuwei Shen, Dionysios Kountanis

Proceedings of the Structured Object-Oriented Formal Language and Method, 2012

2011

Efficient Loop-Extended Model Checking of Data Structure Methods.

Qiuping Yi, Jian Liu, Wuwei Shen

Proceedings of the Software Engineering, Business Continuity, and Education, 2011

2010

An Automatic Testing Approach for Compiler Based on Metamorphic Testing Technique.

Qiuming Tao, Wei Wu, Chen Zhao, Wuwei Shen

Proceedings of the 17th Asia Pacific Software Engineering Conference, 2010

Supporting Flexible Reification of Design Patterns.

Wuwei Shen, Dae-Kyoo Kim, Jian Liu, Chen Zhao

Proceedings of the 17th Asia Pacific Software Engineering Conference, 2010

2009

An Efficient and Scalable Approach to Correct Class Model Refinement.

Wuwei Shen, Kun Wang, Alexander Egyed

IEEE Trans. Software Eng., 2009

An approach to detection of UML-based ownership violation.

Hector Miguel Chavez, Wuwei Shen, Shaoying Liu

Proceedings of the 2009 ACM Symposium on Applied Computing (SAC), 2009

Finding inconsistency for UML-based composition at program level.

Hector Miguel Chavez, Wuwei Shen

Proceedings of the ICSE Workshop on Modeling in Software Engineering, 2009

2008

Evaluating pattern conformance of UML models: a divide-and-conquer approach and case studies.

Dae-Kyoo Kim, Wuwei Shen

Softw. Qual. J., 2008

ICER: a tool for finding errors in a UML model.

Wuwei Shen, Dae-Kyoo Kim

Proceedings of the 2008 ACM Symposium on Applied Computing (SAC), 2008

Flexible Aspect-Oriented Design Model Checking.

Wuwei Shen, W. Eric Wong

Proceedings of the 15th Asia-Pacific Software Engineering Conference (APSEC 2008), 2008

2007

Runtime Checking of UML Association-Related Constraints.

Kun Wang, Wuwei Shen

Proceedings of the Fifth International Workshop on Dynamic Analysis, 2007

An approach to evaluating structural pattern conformance of UML models.

Dae-Kyoo Kim, Wuwei Shen

Proceedings of the 2007 ACM Symposium on Applied Computing (SAC), 2007

Improving the Accuracy of UML Class Model Recovery.

Kun Wang, Wuwei Shen

Proceedings of the 31st Annual International Computer Software and Applications Conference, 2007

2005

Using the Metamodel Mechanism to Support Class Refinement.

Wuwei Shen, Weng Liong Low

Proceedings of the 10th International Conference on Engineering of Complex Computer Systems (ICECCS 2005), 2005

Using Abstract State Machines to Support UML Model Instantiation Checking.

Wuwei Shen, Weng Liong Low

Proceedings of the IASTED International Conference on Software Engineering, 2005

Maintaining Life Perspectives During the Refinement of UML Class Structures.

Alexander Egyed, Wuwei Shen, Kun Wang

Proceedings of the Fundamental Approaches to Software Engineering, 2005

2004

Execution of A Requirement Model in Software Development.

Wuwei Shen, Mohsen Guizani, Zijiang Yang, Kevin J. Compton, James Huggins

Proceedings of the ISCA 13th International Conference on Intelligent and Adaptive Systems and Software Engineering, 2004

2003

Formalization, Testing and Execution of a Use Case Diagram.

Wuwei Shen, Shaoying Liu

Proceedings of the Formal Methods and Software Engineering, 2003

A Method of Implementing UML Virtual Machines With Some Constraints Based on Abstract State Machines.

Wuwei Shen, Kevin J. Compton, James Huggins

Proceedings of the 10th Asia-Pacific Software Engineering Conference (APSEC 2003), 2003

2002

A Toolset for Supporting UML Static and Dynamic Model Checking.

Wuwei Shen, Kevin J. Compton, James Huggins

Proceedings of the 26th International Computer Software and Applications Conference (COMPSAC 2002), 2002

2001

The application of abstract state machines in software engineering.

Wuwei Shen

PhD thesis, 2001

A UML Validation Toolset Based on Abstract State Machines.

Wuwei Shen, Kevin J. Compton, James Huggins

Proceedings of the 16th IEEE International Conference on Automated Software Engineering (ASE 2001), 2001