Associate Professor, Software Engineering
Phone: 814-871-5708
Office: Z 312
xu001@gannon.edu

  • Biography
  • Courses Taught
  • Educational History
  • Professional Experience
  • Publications

Biography

Dr. Weifeng Xu is the director of Keystone Software Development Institute and an assistant professor of software engineering at Gannon University. He is an expert in software design and testing with 10+ year of experience in software industry. Currently, Dr. Xu also serves as an IT consultant for General Electric’s Transportation System’s Locomotive Remote Diagnostics Service Center. His current research efforts focus on search-based software engineering, mining software engineering data, software testing and quality assurance.

Courses Taught

  • Cosc 110 Computer Literacy
  • Cosc 222 Programming in Java
  • Cosc 230 Introduction to Software Engineering
  • CIS 340 Multi-Tiered Systems
  • Cosc 371 Discrete Mathematical Structures
  • Sweg 322 Software Requirements & Modeling
  • CIS 317/GCIS 506 Personal Software Process
  • CIS 315 Software Engineering
  • GCIS 501 Advanced Programming
  • GCIS 504/GENG 580 Requirements Engineering
  • CIS 310/GCIS567 Software Design & Test
  • CIS 317/GCIS 506 Personal Software Process
  • CIS 286 Adv Object-Oriented Techniques/GCIS563 Object-Oriented Problem in Java
  • CIS 392/GCIS 592 Mobile Application Programming
  • GCIS 555 Dynamic Web Programming

Educational History

  • Ph.D., Software Engineering,  North Dakota State University, ND
  • M.S.,  Computer Science, Towson University, MD
  • B.S.,  Computer Science (Math minor), Southeast Missouri State University, MO

Professional Experience

  • General Electric, Transportation, 2008 - present
  • The University of Virginia's  College at Wise, 2007 ~2008
  • Swanson Health Products, MIS, 2005 ~ 2007
  • Volt Information Science Inc., 2004 ~ 2005
  • National Statistical Bureau, Jintan, Jiangsu, China, 1992 ~ 1997

Publications

Journal: 

  • Weifeng Xu, Deng Lin, Qing Zheng, and Stephen Frezza, Constructing 3D Surface Models Using Stereo Visions, IEEE Potentials, Vol. 31, Issue 2, pp, 31-37, April 2012. 
  • Dianxiang Xu, Manghui Tu, Michael Sanford, Lijo Thomas, Daniel Woodraska, Weifeng Xu, "Automated Security Test Generation with Formal Threat Models," IEEE Transactions on Dependable and Secure Computing, Feb. 2012.
  • Weifeng Xu, Willian R. Betzb, Stephen T. Frezzaa and Yunkai Liu, A System Design for Studying Geriatric Patients with Dementia and Hypertension Based on Daily Living Information, IAENG Transactions on Engineering Technologies, Vol. 6, 2011.
  • Dianxiang Xu, Omar El Ariss, Weifeng Xu, Linzhang Wang, Testing Aspect-Oriented Programs with Finite State Machine, Journal of  Software Testing, Verification and Reliability, Spet. 2010. doi: 10.1002/stvr.440
  • Dianxiang Xu, Weifeng Xu, and W. Eric Wong, Automated Test Code Generation from Class State Models, International Journal of Software Engineering and Knowledge Engineering, 19(4): 599-623, June 2009.
  • Dianxiang Xu, Omar El Ariss, Weifeng Xu, Linzhang Wang, Aspect-Oriented Modeling and Verification with Finite State Machines, Journal of Computer Science and Technology, 24(5): 949-961, Sept. 2009.
  • Dianxiang Xu, Weifeng Xu and W. Eric Wong, Testing Aspect-Oriented Programs with UML Design Models, International Journal of Software Engineering and Knowledge Engineering (IJSEKE), Vol. 18, No. 3, pp. 413-437, May 2008.

 

Conference:

  • Weifeng Xu, Lin Deng,  Tao Ding, Detecting Web Security Risks With UML Design Models, Proc. of the  7th IASTED International Conference on Communication, Internet, and Information Technology (CIIT 2012), May 2012.
  • Weifeng Xu, Lin Deng, Qing Zheng, Annotating Resources in Sequence Digrams for Testing Web Security (short paper), Proc. of the 7th International Conference on Information Technology : New Generations, Las Vegas, April 2012.
  • Lijo Thomas, Weifeng Xu, Dianxiang Xu, Mutation Analysis of Magento for Evaluating Threat Model-Based Security Testing, Proc. of the 3rd IEEE International Workshop on Software Test Automation (STA’11), in conjunction with COMPSAC 2011, Munich, Germany, July 2011.
  • Lijo Thomas, Weifeng Xu, Dianxiang Xu, Mutation Analysis of Magento for Evaluating Threat Model-Based Security Testing, Proc. of the 3rd IEEE International Workshop on Software Test Automation (STA’11), in conjunction with COMPSAC 2011, Munich, Germany, July 2011.
  • Weifeng Xu and Stephen Frezza, A Case Study: Integrating a Game Application-Driven Approach and Social Collaborations into Software Engineering Education, Proc. of the 13th International Conference on Enterprise Information Systems, Beijing, China, June 2011.
  • Lin, Deng, and Weifeng Xu, A Resource-based Approach to Extend UML Diagrams for Web Applications. Proc. of the International Conference on Computer Science and Service System, Nanjing, China, June 2011.
  • Weifeng, Xu, Deng Lin, and Yunkai, Liu, A Resource-based Approach to Formalize Use Case Specification, Proc. of the 2010 International Conference on Progress in Informatics and Computing conference (PIC-2010), Shanghai, China, Dec 2010.
  • Weifeng Xu, Ben Luebbert, Stephen Frezza, Qing Zheng, and Todd Dinner, Visual Manipulation for Grid-Based 3D Surface Models, Proc. of the 36th Annual Conference of the IEEE Industrial Electronics Society, Phoenix, AZ, Nov, 2010.
  • Weifeng Xu, William R. Betz, Stephen T. Frezza, and Wookwon Lee, Letting Patients’ Daily Living Information Speak: A Novel Approach to Study Geriatric Patients with Dementia and Hypertension, Proc. of the World Congress on Engineering and Computer Science, San Francisco, Oct 2010.
  • Weifeng Xu, Ben Luebbert, Stephen Frezza, Sreela Sasi and Todd Dinner, Building Customized Cushion Seats Using Stereo Visions for Disabled, In proc. of 7th International Conference on Information Technology : New Generations, Las Vegas, Apr. 2010
  • Weifeng Xu and Dianxiang Xu, Automated Evaluation of Runtime Object States Against Model-Level Statesfor State-Based Test Execution, Proc. of The 5th Workshop on Advances in Model Based Testing (A-MOST 2009), In conjunction with the 2nd International Conference on Software Testing, Verfication, and Validation (ICST'09) in Denver, Colorado, USA, April 2009.
  • Dianxiang Xu, Izzat Alsmadi and Weifeng Xu, Model Checking Aspect-Oriented Design Specification, Proc. of the 31st Annual IEEE International Computer Software and Applications Conference,  Beijing, China, July, 2007.
  • Dianxiang Xu, Weifeng Xu and W. Eric Wong, Automated Test Code Generation from UML Protocol State Machines, Proc. of the Nineteenth International Conference on Software Engineering and Knowledge Engineering, Boston, USA, July 2007.
  • Dianxiang Xu and Weifeng Xu, State-Based Incremental Testing of Aspect-Oriented Programs, Proc. of the 5th International Conference on Aspect-Oriented Software Development (AOSD’ 2006), Bonn, Germany, March 20-24, 2006.
  • Weifeng Xu and Dianxiang Xu. State-Based Testing of Integration Aspects, Second Workshop on Testing of Aspect-Oriented Programs (WTAOP’06), In conjunction with ISSTA’06,  Portland, Maine, July 2006.
  • Dianxiang Xu, Weifeng Xu, and Kendall Nygard, A State-Based Approach to Testing Aspect-Oriented Programs, Proc. The 17th International Conference on Software Engineering and Knowledge Engineering, Taiwan, July 2005.
  • Weifeng Xu and Dianxiang Xu, A Model-Based Approach to Test Generation for Aspect-Oriented Programs, Proc. AOSD'05 Workshop on Testing Aspect-Oriented Programs. Chicago, March 2005.