Wuwei Shen

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