Journal:

·         Dianxiang Xu, Weifeng Xu, Manghui Tu, Ning Shen, William Chu, and Chih-Hung Chang, Automated integration testing using logical contracts," IEEE Transactions on Reliability, vol. 65, no. 3, pp. 1205-1222, 2016.

·         Weifeng Xu, Tao Ding, Dianxiang Xu, and Omar El Ariss, Ming decision trees as test oracles for java bytecode," International Journal of Computers and Their Applications, vol. 23, pp. 141-159, 2016. 

·         Omar El Ariss, S. Bou ghosn, and Weifeng Xu, Testing software using swarm intelligence: A bee colony optimization approach (the extended version of the conference paper)," EAI Endorsed Transactions on Collaborative Computing, vol. 2, 12 2016.

·         Dianxiang Xu, Weifeng Xu, Michael Kent, Lijo Thomas, and Linzhang Wang, An automated test generation technique for software quality assurance," IEEE Transactions on Reliability, vol. 64, no. 1, pp. 247-268, 2015.  

·         Weifeng Xu, Lin Deng, Qing Zheng, and Stephen Frezza, Constructing 3D Surface Models Using Stereo Visions, IEEE PotentialsVol. 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, Dianxiang Xu, and Lin Deng, Measurement of source code readability using word concreteness and memory retention of variable names," in The 41st Annual IEEE Computer Software and Applications Conference (COMPSAC 2017). Turin, Italy: IEEE, Jul. 2017, (Accepted).

·         Weifeng Xu, Dianxiang. Xu, Omar E. Ariss, Yunkai Liu, and Abdul Alatawi, Statistical unigram analysis for source code repository," in The Third IEEE International Conference on Multimedia Big Data. Laguna Hills, California, USA: IEEE, Apr. 2017, (acceptance rate 23.9%).

·         Weifeng Xu, Omar E. Ariss, and Yunka Liu, An empirical study of control ow graphs for unit testing," in The 14th International Conference on Information Technology : New Generations. Las Vegas, Nevada, USA: Springer, Apr. 2017.

·         Qing Zheng, Bo Li, and Weifeng Xu, United discrete time optimal control for mems gyroscopes," in American Control Conference (ACC), 2016. Boston, USA: IEEE, Jul. 2016, pp. 1548-1553.

·         Weifeng Xu, Tao Ding, Hanlin Wang, Dianxiang Xu,  Mining Test Oracles for Test Inputs Generated from Java Bytecode, Proc. of the 37th Annual International Computer Software & Applications Conference, Kyoto, Japan, July 2013.  [invited talk Shot version Tutorial for undergraduate students]  [Executable, Triangle Problem] [Function tutorial]

·         Weifeng Xu, Hanlin Wang, Tao Ding, Mining Auto-Generated Test Inputs for Test Oracle, Proc. of the 10th International Conference on Information Technology : New Generations, Las Vegas, April 2013.

·         Qing Zheng, Abdulhakim DaluomWeifeng XuYong Zheng, Reduced-order Active Disturbance Rejection Control for Multivariable Chemical Processes. Proc. of the Annual Meeting of the IEEE Industry Applications Society (IAS 2012), pp. 1 - 7, Las Vegas, NV, USA, October, 2012.

·         Dianxiang Xu, Weifeng Xu, Bharath K Bavikati, and Eric W. Wong. Mining Executable Specifications of Web Applications from Selenium IDE Tests. Proc. of the Sixth IEEE International Conference on Software Security and Reliability (SERE’12), pp. 263 - 272, Washington DC, USA, June 2012.

·         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.

·         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.


Technical Report: