[46] Chung-Ling Lin, Wuwei Shen, Tao Yue and Guangyuan Li: Automatic Support
of the Generation and Maintenance of Assurance Cases, Proceedings of 4th International
Symposium on International Symposium on Dependable Software Engineering: Theories,
Tools, and Applications (SETTA'18), LNCS, volume 10998, September 4-6, 2018,
Beijing, China
[45]Hongliang Liang, Xiaoxiao Pei, Xiaodong Jia, Wuwei Shen, Jian
Zhang: Fuzzing: State of The Art. IEEE Transactions on Reliability, Volume:
67 , Issue: 3 , Sept. 2018.
[44]Hongliang Liang, Wenying Hu, Yini Zhang, Lin Jiang, Wuwei Shen:
Unified and Split Execution for Exposing Divergences between Versions, Proceedings
of the 40th International Conference on Software Engineering (ICSE'18), Companion
Volume (Poster Session), Gothenburg, Sweden, May 30 to June 1, 2018.
[43]Chung-Ling Lin, Wuwei Shen, Steven Drager, Betty Cheng: Measure
Confidence of Assurance Cases in Safety-Critical Domains. Proceedings of the
40th International Conference on Software Engineering (ICSE'18), New Ideas
and Emerging Results Track, Gothenburg, Sweden, May 30 to June 1, 2018.
[42]Wuwei Shen, Guangyuan Li, Chung-Ling Lin, and Hongliang Liang:
Foundation of a Framework to Support Compliance Checking in Construction Industry.
Proceedings of the 7th International Workshop on SOFL+MSVL, LNCS 10795, Springer.
Nov 16, 2017.
[41]Chung-Ling Lin, Wuwei Shen, Steven Drager: Automatically Support
Generation and Maintenance of An Assurance Case. Post Session at the 2017
Safe and Secure Systems and Software Symposium (S5), Dayton, OH, Aug 1-3,
2017.
[40] Chung-Ling Lin, Wuwei Shen, Richard Hawkins: Support for safety
case generation via model transformation. ACM SIGBED Review, Volume 14, Number
2, February 2017, Special Issue on Medical Cyber Physical Systems workshop
(MedicalCPS'16).
[39] Chung-Ling Lin, Wuwei Shen, Steven Drager: Justifying the Transition
from Trustworthiness to Resiliency via Generation of Safety Cases. 17th IEEE/ACIS
International Conference on Software Engineering, Artificial Intelligence,
Networking and Parallel/Distributed Computing (SNPD 2016), Studies in
Computational Intelligence (SCI Volume 653), Springer, Germany 2016,
pp. 57-73.
[38] Chung-Ling Lin, Wuwei Shen, Steven Drager: A Framework to Support
Generation and Maintenance of an Assurance Case. Proceedings of IEEE International
Symposium on Software Reliability Engineering, Industry Track, pp 21-24, Ottawa,
ON, Canada, October 23-27, 2016.
[37] Hector Miguel Chavez, Wuwei Shen, Robert B. France, Benjamin
A, Guangyuan Li. Mechling: An Approach to Testing Java Implementation against
Its UML Class Model, IEEE Trans. Software Eng. Volume 42, Issue 4, PP 322-344,
2016.
[36] Chung-Ling Ling, Wuwei Shen:Applying Safety Case Pattern to
Generate Assurance Cases for Safety-Critical Systems, Proceedings of 16th
IEEE International Symposium on High Assurance Systems Engineering, HASE 2015,
Daytona Beach, FL, USA, January 8-10, 2015.
[35] Laura Moreno, John Joseph Treadway, Andrian Marcus, Wuwei Shen:
On the Use of Stack Traces to Improve Text Retrieval-Based Bug Localization,
Proceedings of 30th IEEE International Conference on Software Maintenance
and Evolution, ICSME'14, Victoria, BC, Canada, September 29 - October 3, 2014.
[34] Chung-Ling Ling, Wuwei Shen: Generation of Assurance Cases for
Medical Devices, Computer and Information Science. Studies in Computational
Intelligence 566, Springer 2015.
[33] Wuwei Shen, Chung-Ling Ling, Andrian Marcus: Using traceability
links to identifying potentially erroneous artifacts during regulatory reviews,
Proceedings of 7th International Workshop on Traceability in Emerging Forms
of Software Engineering, TEFSE 2013 @ ICSE'13, 19 May, 2013, San Francisco,
CA, USA.
[32] Hector Miguel Chavez, Wuwei Shen, Robert B. France, Benjamin
A. Mechling: An Approach to Testing Java Implementation against Its UML Class
Model, Proceedings of 16th IEEE/ACM International Conference on Model-Driven
Engineering Languages and Systems (MODELS), LNCS 8107, Springer 2013, Miami,
FL, USA, September 29 - October 4, 2013.
[31] Chung-Ling Ling, Wuwei Shen, Dionysios Kountanis: Using UML
Profile and OCL to Impose Regulatory Requirements on Safety-Critical System,
Proceedings of 14th IEEE/ACIS International Conference on Software Engineering,
Artificial Intelligence, Networking and Parallel/Distributed Computing (SNPD),Honolulu,
Hawaii, USA, 1-3 July, 2013.
[30] Chung-Ling Ling, Wuwei Shen, Dionysios Kountanis: Applying SOFL
to a Generic Insulin Pump Software Design, Proceedings of Second International
Workshop on Structured Object-Oriented Formal Language and Method, LNCS 7787,
Springer 2013.
[29] Shaoying Liu, Wuwei Shen, Shin Nakajima: A formal approach to
testing programs in practice, Computer Science and Information Systems, Volume
9, Number 1, 2012.
[28] Hector Miguel Chavez, Wuwei Shen: Formalization of UML Composition
in OCL, Proceedings of 2012 IEEE/ACIS 11th International Conference on Computer
and Information Science, Shanghai, China, May 30 - June 1, 2012.
[27] Qiuping Yi, Jian Liu, Wuwei Shen: Efficient Loop-Extended Model
Checking of Data Structure Methods, Proceedings of Software Engineering, Business
Continuity, and Education - International Conferences ASEA, DRBC and EL 2011,
Jeju Island, Korea, December 8-10, 2011.
[26] Wuwei Shen, Dae-Kyoo Kim, Jian Liu, Chen Zhao:Supporting Flexible
Reification of Design Patterns, Proceedings of 17th Asia Pacific Software
Engineering Conference, APSEC 2010, Sydney, Australia, November 30 - December
3, 2010.
[25] Qiuming Tao, Wei Wu, Chen Zhao, Wuwei Shen: An Automatic Testing
Approach for Compiler Based on Metamorphic Testing Technique, Proceedings
of 17th Asia Pacific Software Engineering Conference, APSEC 2010, Sydney,
Australia, November 30 - December 3, 2010.
[24] Wuwei Shen, Kun Wang, Alexander Egyed: An Efficient and Scalable
Approach to Correct Class Model Refinement", IEEE Transactions on Software
Engineering, Volumn 35, Issue 4, pp. 515-533, July/August 2009.
[23] Hector Miguel Chavez, Wuwei Shen, Shaoying Liu: An Approach
to Detection of UML-Based Ownership Violation, Proceeding of ACM SAC 2009,
March 9-13, 2009, Hawai, USA.
[22] Wuwei Shen, Eric Wong: Flexible Aspect-Oriented Design Model
Checking, Proceeding of APSEC, December 3-5, 2008, Beijing, China. (acceptance rate 29%)
[21] Wuwei Shen, Dae-Kyoo Kim: ICER: a tool for finding errors in
a UML model. Proceeding of ACM SAC 2008: 804-808, March 16-20, 2008, Ceará,
Brazil. (acceptance rate: 30%)
[20] Dae-Kyoo Kim, Wuwei Shen: Evaluating pattern conformance of
UML models: a divide-and-conquer approach and case studies. Software Quality
Journal 16(3): 329-359 (2008)
[19] Kun Wang, Wuwei Shen: Improving the Accuracy of UML Class Model
Recovery. Proceedings of COMPSAC, July, 2007, Beijing, China.
[18] Dae-Kyoo Kim, Wuwei Shen, An approach to evaluating structural
pattern conformance of UML models. Proceedings of the 2007 ACM Symposium on
Applied Computing (SAC), Seoul, Korea, March 11-15, 2007. ACM 2007. (acceptance
rate: 33%)
[17] Wuwei Shen, Wengliong Low, Consistency Checking between Two
Different Dynamic Views of a Software System, In Proceedings of IASTED International
Conference on Software Engineering, Dallas, Texas, Nov, 2006.
[16] Wuwei Shen, Wengliong Low, Using the Metamodel Mechanism To
Support Class Refinement, In proceedings of the 10th IEEE International Conf
on Engineering of Complex Computer Systems, June 16-20,2005, Shanghai, China.
(Acceptance Rate is 33.3%)
[15] Alexander Egyed, Wuwei Shen, Kang Wang, Maintaining Life Perspectives
during the Refinement of UML Class Structures, In Proceeding of Conference
on Fundamental Approaches to Software Engineering (FASE 2005), LNCS, April
2-10, 2005, Edinburgh, Scotland. (Acceptance Rate 22.2%)
[14] Wuwei Shen, Wengliong Low, Using Abstract State Machines to
Support UML Model Instantiation Checking, In Proceedings of the IASTED International
Conference on Software Engineering, Innsbruck, Austria, Feb 15-17.
[13] Wuwei Shen, Mohsen Guizani, Zijiang Yang, Kevin Compton, James
Huggins, Execution of A Requirement Model in Software Development, In Proceedings
of the ISCA 13th International Conference on Intelligent and Adaptive Systems
and Software Engineering, Nice, France, July 1-3, 2004.
[12] Wuwei Shen, Kevin Compton, James Huggins, A Method of Implementing
UML Virtual Machines with Some Constraints Based on Abstrqact State Machine,
In Proceedings of the 10th Asia-Pacific Software Engineering Conference, IEEE
Computer Society, Dec 10-12, 2003, Chiang Mai, Thailand. (acceptance rate
39%)
[11] Wuwei Shen, Shaoying Liu, Formalization, Testing and Execution
of a Use Case Diagram, In the 5th International Conference on Formal Engineering
Methods, ICFEM 2003, LNCS 2885, Nov 5-7, 2003, Singapore. (acceptance rate
37%).
[10] Wuwei Shen, Kevin Compton, James Huggins, A Toolset for Supporting
UML Static and Dynamic Model Checking, In Proceedings of the 26th IEEE Annual
International Computer Software and Applications Conference, August, 26-19,
2002, Oxford, England.
[9] W. Shen, K. Compton, J. Huggins, A UML Validation Toolset Based
on Abstract State Machine, In Proceedings of the 16th ACM/IEEE International
Conference on Automated Software Engineering, Nov 26-29 2001, Coronado Island,
California, USA. (acceptance rate 19.5%)
[8] W. Shen, K. Compton, J. Huggins, A Validation Method
for a UML Model Based on Abstract State Machines, In R. Moreno-Díaz
and A. Quesada-Arencibia, editors, Proceeding of EUROCAST 2001, pages 220-223,
Canary Islands, Spain, Feb. 2001.
[7] W. Shen, K. Compton, J. Huggins,
A Semantic Model for the State Machine in the Unified Modeling Language,
Proceeding of Dynamic Behavior in UML Models: Semantic Questions, p.25-31,
UML 2000 workshop, York, England, Oct. 2000.
[6] James K. Huggins, Wuwei Shen, The Static and Dynamic Semantics of C, Proceeding
of International workshop on Abstract State Machines, Monte Verita, Switzerland,
March 2000.
[1] Juan Wang, Wuwei Shen,
Description of Real-time System by Using Temporal Logic,
Proceeding of 5th National Conference on Software Engineering, Shanghai 1992.
(Chinese).