An Automatic Testing Approach for Compiler Based on Metamorphic Testing Technique
Qiuming Tao, Wei Wu, Chen Zhao, Wuwei Shen
Published in 2010 Asia Pacific Software Engineering Conference (01.11.2010)
Published in 2010 Asia Pacific Software Engineering Conference (01.11.2010)
Get full text
Conference Proceeding
Applying Safety Case Pattern to Generate Assurance Cases for Safety-Critical Systems
Chung-Ling Lin, Wuwei Shen
Published in 2015 IEEE 16th International Symposium on High Assurance Systems Engineering (01.01.2015)
Published in 2015 IEEE 16th International Symposium on High Assurance Systems Engineering (01.01.2015)
Get full text
Conference Proceeding
On the Use of Stack Traces to Improve Text Retrieval-Based Bug Localization
Moreno, Laura, Treadway, John Joseph, Marcus, Andrian, Wuwei Shen
Published in 2014 IEEE International Conference on Software Maintenance and Evolution (01.09.2014)
Published in 2014 IEEE International Conference on Software Maintenance and Evolution (01.09.2014)
Get full text
Conference Proceeding
Fuzzing: State of the Art
Liang, Hongliang, Pei, Xiaoxiao, Jia, Xiaodong, Shen, Wuwei, Zhang, Jian
Published in IEEE transactions on reliability (01.09.2018)
Published in IEEE transactions on reliability (01.09.2018)
Get full text
Journal Article
Flexible Aspect-Oriented Design Model Checking
Wuwei Shen, Wong, W.E.
Published in 2008 15th Asia-Pacific Software Engineering Conference (01.01.2008)
Published in 2008 15th Asia-Pacific Software Engineering Conference (01.01.2008)
Get full text
Conference Proceeding
Finding inconsistency for UML-based composition at program level
Chavez, Hector Miguel, Shen, Wuwei
Published in 2009 ICSE Workshop on Modeling in Software Engineering (17.05.2009)
Published in 2009 ICSE Workshop on Modeling in Software Engineering (17.05.2009)
Get full text
Conference Proceeding
Supporting Flexible Reification of Design Patterns
Wuwei Shen, Dae-Kyoo Kim, Jian Liu, Chen Zhao
Published in 2010 Asia Pacific Software Engineering Conference (01.11.2010)
Published in 2010 Asia Pacific Software Engineering Conference (01.11.2010)
Get full text
Conference Proceeding
A Framework to Support Generation and Maintenance of an Assurance Case
Chung-Ling Lin, Wuwei Shen, Drager, Steven
Published in 2016 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW) (01.10.2016)
Published in 2016 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW) (01.10.2016)
Get full text
Conference Proceeding
Maintaining Life Perspectives During the Refinement of UML Class Structures
Egyed, Alexander, Shen, Wuwei, Wang, Kun
Published in Fundamental Approaches to Software Engineering (2005)
Published in Fundamental Approaches to Software Engineering (2005)
Get full text
Book Chapter
Conference Proceeding
Formalization of UML Composition in OCL
Chavez, H. M., Wuwei Shen
Published in 2012 IEEE/ACIS 11th International Conference on Computer and Information Science (01.05.2012)
Published in 2012 IEEE/ACIS 11th International Conference on Computer and Information Science (01.05.2012)
Get full text
Conference Proceeding
A formal approach to testing programs in practice
Shaoying Liu, Wuwei Shen
Published in 2012 International Conference on Systems and Informatics (ICSAI2012) (01.05.2012)
Published in 2012 International Conference on Systems and Informatics (ICSAI2012) (01.05.2012)
Get full text
Conference Proceeding
Using UML Profile and OCL to Impose Regulatory Requirements on Safety-Critical System
Chung-Ling Lin, Wuwei Shen, Kountanis, Dionysios
Published in 2013 14th ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing (01.07.2013)
Published in 2013 14th ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing (01.07.2013)
Get full text
Conference Proceeding
Using traceability links to identifying potentially erroneous artifacts during regulatory reviews
Wuwei Shen, Chung-Ling Lin, Marcus, Andrian
Published in 2013 7th International Workshop on Traceability in Emerging Forms of Software Engineering (TEFSE) (01.05.2013)
Published in 2013 7th International Workshop on Traceability in Emerging Forms of Software Engineering (TEFSE) (01.05.2013)
Get full text
Conference Proceeding
Poster: USE: Unified and Split Execution for Exposing Divergences between Versions
Liang, Hongliang, Hu, Wenying, Zhang, Yini, Jiang, Lin, Shen, Wuwei
Published in 2018 IEEE/ACM 40th International Conference on Software Engineering: Companion (ICSE-Companion) (01.05.2018)
Published in 2018 IEEE/ACM 40th International Conference on Software Engineering: Companion (ICSE-Companion) (01.05.2018)
Get full text
Conference Proceeding
Measure confidence of assurance cases in safety-critical domains
Lin, Chung-Ling, Shen, Wuwei, Drager, Steven, Cheng, Betty
Published in 2018 IEEE/ACM 40th International Conference on Software Engineering: New Ideas and Emerging Technologies Results (ICSE-NIER) (27.05.2018)
Published in 2018 IEEE/ACM 40th International Conference on Software Engineering: New Ideas and Emerging Technologies Results (ICSE-NIER) (27.05.2018)
Get full text
Conference Proceeding
Finding inconsistency for UML-based composition at program level
Chavez, Hector Miguel, Shen, Wuwei
Published in International Conference on Software Engineering 2009 (18.05.2009)
Published in International Conference on Software Engineering 2009 (18.05.2009)
Get full text
Journal Article