default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDWuwei Shen
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2023
[c33]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: 156-161- 2022
- [c32]Yulong Bao, Xue-Yang Zhu, Wenhui Zhang, Wuwei Shen, Pengfei Sun, Yingqi Zhao:
On Verification of Smart Contracts via Model Checking. TASE 2022: 92-112 - 2020
- [c31]Chung-Ling Lin, Wuwei Shen, Betty H. C. Cheng:
Measuring Confidence of Assurance Cases in Safety-Critical Domains. HICSS 2020: 1-10
2010 – 2019
- 2018
- [j7]Hongliang Liang
, Xiaoxiao Pei, Xiaodong Jia, Wuwei Shen, Jian Zhang:
Fuzzing: State of the Art. IEEE Trans. Reliab. 67(3): 1199-1218 (2018) - [c30]Chung-Ling Lin, Wuwei Shen, Steven Drager, Betty H. C. Cheng:
Measure confidence of assurance cases in safety-critical domains. ICSE (NIER) 2018: 13-16 - [c29]Hongliang Liang, Wenying Hu, Yini Zhang, Lin Jiang, Wuwei Shen:
USE: unified and split execution for exposing divergences between versions. ICSE (Companion Volume) 2018: 386-387 - [c28]Chung-Ling Lin, Wuwei Shen, Tao Yue, Guangyuan Li:
Automatic Support of the Generation and Maintenance of Assurance Cases. SETTA 2018: 11-28 - 2017
- [j6]Chung-Ling Lin, Wuwei Shen, Richard Hawkins:
Support for safety case generation via model transformation. SIGBED Rev. 14(2): 44-52 (2017) - [c27]Wuwei Shen, Guangyuan Li, Chung-Ling Lin, Hongliang Liang:
Foundation of a Framework to Support Compliance Checking in Construction Industry. SOFL+MSVL 2017: 111-122 - 2016
- [j5]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): 322-344 (2016) - [c26]Chung-Ling Lin, Wuwei Shen, Steven Drager:
A Framework to Support Generation and Maintenance of an Assurance Case. ISSRE Workshops 2016: 21-24 - 2015
- [c25]Chung-Ling Lin, Wuwei Shen:
Applying Safety Case Pattern to Generate Assurance Cases for Safety-Critical Systems. HASE 2015: 255-262 - [p1]Chung-Ling Lin, Wuwei Shen:
Generation of Assurance Cases for Medical Devices. Computer and Information Science 2015: 127-140 - 2014
- [c24]Laura Moreno, John Joseph Treadway, Andrian Marcus, Wuwei Shen:
On the Use of Stack Traces to Improve Text Retrieval-Based Bug Localization. ICSME 2014: 151-160 - 2013
- [j4]Hector Miguel Chavez, Wuwei Shen:
Formalization of UML Composition in OCL. Int. J. Softw. Innov. 1(1): 26-40 (2013) - [c23]Wuwei Shen, Chung-Ling Ling, Andrian Marcus:
Using traceability links to identifying potentially erroneous artifacts during regulatory reviews. TEFSE@ICSE 2013: 19-22 - [c22]Hector Miguel Chavez, Wuwei Shen, Robert B. France, Benjamin A. Mechling:
An Approach to Testing Java Implementation against Its UML Class Model. MoDELS 2013: 220-236 - [c21]Chung-Ling Ling, Wuwei Shen, Dionysios Kountanis:
Using UML Profile and OCL to Impose Regulatory Requirements on Safety-Critical System. SNPD 2013: 356-361 - 2012
- [j3]Shaoying Liu, Wuwei Shen, Shin Nakajima:
A formal approach to testing programs in practice. Comput. Sci. Inf. Syst. 9(4): 1469-1491 (2012) - [c20]Hector Miguel Chavez, Wuwei Shen:
Formalization of UML Composition in OCL. ACIS-ICIS 2012: 675-680 - [c19]Chung-Ling Ling, Wuwei Shen, Dionysios Kountanis:
Applying SOFL to a Generic Insulin Pump Software Design. SOFL 2012: 116-132 - 2011
- [c18]Qiuping Yi, Jian Liu, Wuwei Shen:
Efficient Loop-Extended Model Checking of Data Structure Methods. FGIT-ASEA/DRBC/EL 2011: 237-249 - 2010
- [c17]Wuwei Shen, Dae-Kyoo Kim, Jian Liu, Chen Zhao:
Supporting Flexible Reification of Design Patterns. APSEC 2010: 127-136 - [c16]Qiuming Tao, Wei Wu, Chen Zhao, Wuwei Shen:
An Automatic Testing Approach for Compiler Based on Metamorphic Testing Technique. APSEC 2010: 270-279
2000 – 2009
- 2009
- [j2]Wuwei Shen, Kun Wang, Alexander Egyed:
An Efficient and Scalable Approach to Correct Class Model Refinement. IEEE Trans. Software Eng. 35(4): 515-533 (2009) - [c15]Hector Miguel Chavez, Wuwei Shen:
Finding inconsistency for UML-based composition at program level. MiSE@ICSE 2009: 32-37 - [c14]Hector Miguel Chavez, Wuwei Shen, Shaoying Liu:
An approach to detection of UML-based ownership violation. SAC 2009: 541-542 - 2008
- [j1]Dae-Kyoo Kim, Wuwei Shen:
Evaluating pattern conformance of UML models: a divide-and-conquer approach and case studies. Softw. Qual. J. 16(3): 329-359 (2008) - [c13]Wuwei Shen, W. Eric Wong:
Flexible Aspect-Oriented Design Model Checking. APSEC 2008: 537-544 - [c12]Wuwei Shen, Dae-Kyoo Kim:
ICER: a tool for finding errors in a UML model. SAC 2008: 804-808 - 2007
- [c11]Kun Wang, Wuwei Shen:
Improving the Accuracy of UML Class Model Recovery. COMPSAC (1) 2007: 387-390 - [c10]Dae-Kyoo Kim, Wuwei Shen:
An approach to evaluating structural pattern conformance of UML models. SAC 2007: 1404-1408 - [c9]Kun Wang, Wuwei Shen:
Runtime Checking of UML Association-Related Constraints. WODA@ICSE 2007: 3 - 2005
- [c8]Alexander Egyed, Wuwei Shen, Kun Wang:
Maintaining Life Perspectives During the Refinement of UML Class Structures. FASE 2005: 310-325 - [c7]Wuwei Shen, Weng Liong Low:
Using Abstract State Machines to Support UML Model Instantiation Checking. IASTED Conf. on Software Engineering 2005: 100-105 - [c6]Wuwei Shen, Weng Liong Low:
Using the Metamodel Mechanism to Support Class Refinement. ICECCS 2005: 421-430 - 2004
- [c5]Wuwei Shen, Mohsen Guizani, Zijiang Yang, Kevin J. Compton, James Huggins:
Execution of A Requirement Model in Software Development. IASSE 2004: 203-208 - 2003
- [c4]Wuwei Shen, Kevin J. Compton, James Huggins:
A Method of Implementing UML Virtual Machines With Some Constraints Based on Abstract State Machines. APSEC 2003: 224- - [c3]Wuwei Shen, Shaoying Liu:
Formalization, Testing and Execution of a Use Case Diagram. ICFEM 2003: 68-85 - 2002
- [c2]Wuwei Shen, Kevin J. Compton, James Huggins:
A Toolset for Supporting UML Static and Dynamic Model Checking. COMPSAC 2002: 147-152 - 2001
- [b1]Wuwei Shen:
The application of abstract state machines in software engineering. University of Michigan, USA, 2001 - [c1]Wuwei Shen, Kevin J. Compton, James Huggins:
A UML Validation Toolset Based on Abstract State Machines. ASE 2001: 315-318
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-25 05:53 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
