Wu-Wei Shen

Most-cited papers

On the Use of Stack Traces to Improve Text Retrieval-Based Bug Localization
Laura Moreno, J. Treadway, Andrian Marcus, Wu-Wei Shen
2014IEEE International Conference on Software Maintenance and Evolution120 citations
Semantic Scholar
An Automatic Testing Approach for Compiler Based on Metamorphic Testing Technique
Qiuming Tao, Wei Wu, Chen Zhao, Wu-Wei Shen
2010Asia-Pacific Software Engineering Conference94 citations
Semantic Scholar
A toolset for supporting UML static and dynamic model checking
Wu-Wei Shen, K. Compton, J. Huggins
2002Proceedings 26th Annual International Computer Software and Applications64 citations
Semantic Scholar
An Automatic Verification Tool for UML
K. Compton, Y. Gurevich, J. Huggins, Wu-Wei Shen
200048 citations
Semantic Scholar
Fuzzing: State of the Art
Hongliang Liang, Xiaoxiao Pei, Xiaodong Jia, Wu-Wei Shen +1 more
2018IEEE Transactions on Reliability46 citations
Semantic Scholar
Evaluating pattern conformance of UML models: a divide-and-conquer approach and case studies
Dae-Kyoo Kim, Wu-Wei Shen
2008Software quality journal46 citations
Semantic Scholar
An approach to evaluating structural pattern conformance of UML models
Dae-Kyoo Kim, Wu-Wei Shen
2007ACM Symposium on Applied Computing43 citations
Semantic Scholar
Formalization, Testing and Execution of a Use Case Diagram
Wu-Wei Shen, Shaoying Liu
2003IEEE International Conference on Formal Engineering Methods31 citations
Semantic Scholar
A Semantic Model for the State Machine in the Unified Modeling Language
K. Compton, J. Huggins, Wu-Wei Shen
200025 citations
Semantic Scholar
An Approach to Checking Consistency between UML Class Model and Its Java Implementation
H. Chavez, Wu-Wei Shen, R. France, Benjamin A. Mechling +1 more
2016IEEE Transactions on Software Engineering22 citations
Semantic Scholar
An Efficient and Scalable Approach to Correct Class Model Refinement
Wu-Wei Shen, Kun Wang, Alexander Egyed
2009IEEE Transactions on Software Engineering19 citations
Semantic Scholar
Measure Confidence of Assurance Cases in Safety-Critical Domains
Chung-Ling Lin, Wu-Wei Shen, S. Drager, B. Cheng
20182018 IEEE/ACM 40th International Conference on Software Engineering: New Ideas and Emerging Technologies Results (ICSE-NIER)13 citations
Semantic Scholar
Execution of A Requirement Model in Software Development
Wu-Wei Shen, M. Guizani, Z. Yang, K. Compton +1 more
2004International Conference on Intelligent and Adaptive Systems and Software Engineering12 citations
Semantic Scholar
Applying Safety Case Pattern to Generate Assurance Cases for Safety-Critical Systems
Chung-Ling Lin, Wu-Wei Shen
2015IEEE International Symposium on High-Assurance Systems Engineering11 citations
Semantic Scholar
A formal approach to testing programs in practice
Shaoying Liu, Wu-Wei Shen, Shin Nakajima
2012International Conference on Systems and Informatics10 citations Open access
Semantic Scholar
Using the metamodel mechanism to support class refinement
Wu-Wei Shen, Weng Liong Low
2005IEEE International Conference on Engineering of Complex Computer Systems9 citations
Semantic Scholar
Runtime Checking of UML Association-Related Constraints
Kun Wang, Wu-Wei Shen
2007International Workshop on Dynamic Analysis8 citations
Semantic Scholar
A UML validation toolset based on abstract state machines
Wu-Wei Shen, K. Compton, J. Huggins
2001International Conference on Automated Software Engineering8 citations
Semantic Scholar
Generation of Assurance Cases for Medical Devices
Chung-Ling Lin, Wu-Wei Shen
2015Computer and Information Science7 citations
Semantic Scholar
Formalization of UML Composition in OCL
H. Chavez, Wu-Wei Shen
2012International Conference on Interaction Sciences7 citations
Semantic Scholar
Using Abstract State Machines to Support UML Model Instantiation Checking
Wu-Wei Shen, Weng Liong Low
2005IASTED Conf. on Software Engineering7 citations
Semantic Scholar
The Static and Dynamic Semantics of C: Preliminary Version
J. Huggins, Wu-Wei Shen
19997 citations
Semantic Scholar
On Verification of Smart Contracts via Model Checking
Yulong Bao, Xue-Yang Zhu, Wenhui Zhang, Wu-Wei Shen +2 more
2022Theoretical Aspects of Software Engineering6 citations
Semantic Scholar
Support for safety case generation via model transformation
Chung-Ling Lin, Wu-Wei Shen, R. Hawkins
2017SIGBED6 citations
Semantic Scholar
A Framework to Support Generation and Maintenance of an Assurance Case
Chung-Ling Lin, Wu-Wei Shen, S. Drager
20162016 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW)6 citations
Semantic Scholar
Using traceability links to identifying potentially erroneous artifacts during regulatory reviews
Wu-Wei Shen, Chung-Ling Lin, Andrian Marcus
20132013 7th International Workshop on Traceability in Emerging Forms of Software Engineering (TEFSE)5 citations
Semantic Scholar
Maintaining Life Perspectives During the Refinement of UML Class Structures
Alexander Egyed, Wu-Wei Shen, Kun Wang
2005Fundamental Approaches to Software Engineering5 citations Open access
Semantic Scholar
An Approach to Testing Java Implementation against Its UML Class Model
H. Chavez, Wu-Wei Shen, R. France, Benjamin A. Mechling
2013ACM/IEEE International Conference on Model Driven Engineering Languages and Systems4 citations
Semantic Scholar
A method of implementing UML virtual machines with some constraints based on abstract state machines
Wu-Wei Shen, K. Compton, J. Huggins
2003Tenth Asia-Pacific Software Engineering Conference, 2003.4 citations
Semantic Scholar
The application of abstract state machines in software engineering
Wu-Wei Shen
20014 citations
Semantic Scholar
Justifying the Transition from Trustworthiness to Resiliency via Generation of Safety Cases
Chung-Ling Lin, Wu-Wei Shen, S. Drager
20163 citations
Semantic Scholar
Applying SOFL to a Generic Insulin Pump Software Design
Chung-Ling Ling, Wu-Wei Shen, D. Kountanis
2012International Workshop on Structured Object-Oriented Formal Language and Method3 citations
Semantic Scholar
Flexible Aspect-Oriented Design Model Checking
Wu-Wei Shen, W. E. Wong
2008Asia-Pacific Software Engineering Conference3 citations
Semantic Scholar
The Static and Dynamic Semantics of C (Extended Abstract)
J. Huggins, Wu-Wei Shen
20003 citations
Semantic Scholar
Automatic Support of the Generation and Maintenance of Assurance Cases
Chung-Ling Lin, Wu-Wei Shen, Tao Yue, Guang-Yuan Li
2018International Symposium on Software Engineering: Theories, Tools, and Applications2 citations
Semantic Scholar
Foundation of a Framework to Support Compliance Checking in Construction Industry
Wu-Wei Shen, Guang-Yuan Li, Chung-Ling Lin, Hongliang Liang
2017SOFL+MSVL2 citations
Semantic Scholar
Using UML Profile and OCL to Impose Regulatory Requirements on Safety-Critical System
Chung-Ling Lin, Wu-Wei Shen, D. Kountanis
20132013 14th ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing2 citations
Semantic Scholar
Improving the Accuracy of UML Class Model Recovery
Kun Wang, Wu-Wei Shen
2007Annual International Computer Software and Applications Conference2 citations
Semantic Scholar
An Assurance Case Driven Development Paradigm for Autonomous Vehicles: An F1TENTH Racing Car Case Study
Ioannis Nearchou, Lance Rafalko, Ryan Phillips, M. Anderson +2 more
2023International Conference on Software Engineering Research and Applications1 citations
Semantic Scholar
Poster: USE: Unified and Split Execution for Exposing Divergences between Versions
Hongliang Liang, Wenying Hu, Yini Zhang, Lin Jiang +1 more
20182018 IEEE/ACM 40th International Conference on Software Engineering: Companion (ICSE-Companion)1 citations
Semantic Scholar
Finding inconsistency for UML-based composition at program level
H. Chavez, Wu-Wei Shen
20092009 ICSE Workshop on Modeling in Software Engineering1 citations
Semantic Scholar
A Holistic Framework to Support Compliance Checking in
Wu-Wei Shen
20190 citations
Semantic Scholar
サポート生成のためのフレームワークと保証事例の維持【Powered by NICT】
Chung-Ling Lin, Wu-Wei Shen, D. Steven
20160 citations
Semantic Scholar
Efficient Loop-Extended Model Checking of Data Structure Methods
Qiu-Ping Yi, Jian Liu, Wu-Wei Shen
2011FGIT-ASEA/DRBC/EL0 citations
Semantic Scholar
Supporting Flexible Reication of Design Patterns
Wu-Wei Shen, Dae-Kyoo Kim, Jian Liu, Chen Zhao
20100 citations
Semantic Scholar
Supporting Flexible Reification of Design Patterns
Wu-Wei Shen, Dae-Kyoo Kim, Jian Liu, Chen Zhao
2010Asia-Pacific Software Engineering Conference0 citations
Semantic Scholar
An approach to detection of UML-based ownership violation
H. Chavez, Wu-Wei Shen, Shaoying Liu
2009ACM Symposium on Applied Computing0 citations
Semantic Scholar
ICER: a tool for finding errors in a UML model
Wu-Wei Shen, Dae-Kyoo Kim
2008ACM Symposium on Applied Computing0 citations
Semantic Scholar
Consistency checking between two different dynamic views of a software system
Wu-Wei Shen, Weng Liong Low
2006International Conference on Software Engineering0 citations
Semantic Scholar
A Semantic Model for the State Machine in the Uni edModeling
L. Compton, J. Huggins, Wu-Wei Shen
20000 citations
Semantic Scholar