Weifeng Xu

Dianxiang Xu, Omar el Ariss, Weifeng Xu, Linzhang Wang: Testing aspect-oriented programs with finite state machines. Softw. Test., Verif. Reliab. 22(4): 267-293 (2012)

Dianxiang Xu, Manghui Tu, Michael Sanford, Lijo Thomas, Daniel Woodraska, Weifeng Xu: Automated Security Test Generation with Formal Threat Models. IEEE Trans. Dependable Sec. Comput. 9(4): 526-540 (2012)

Qing Zheng, Abdulhakim Daluom, Weifeng Xu, Yong Zheng: Reduced-order active disturbance rejection control for multivariable chemical processes. IAS 2012: 1-7

Weifeng Xu, Lin Deng, Qing Zheng: Annotating Resources in Sequence Diagrams for Testing Web Security. ITNG 2012: 873-874

Dianxiang Xu, Weifeng Xu, Bharath K. Bavikati, W. Eric Wong: Mining Executable Specifications of Web Applications from Selenium IDE Tests. SERE 2012: 263-272

Qing Zheng, Kiran K. Chedella, Weifeng Xu, Liying Wu: Reduced-order active disturbance rejection control for induction motors. CCA 2011: 1139-1144

Lijo Thomas, Weifeng Xu, Dianxiang Xu: Mutation Analysis of Magento for Evaluating Threat Model-Based Security Testing. COMPSAC Workshops 2011: 184-189

Weifeng Xu, Stephen T. Frezza: A Case Study: Integrating a Game Application-driven Approach and Social Collaborations into Software Engineering Education. ICEIS (4) 2011: 23-32

Weifeng Xu, Ben Luebbert, Stephen T. Frezza, Sreela Sasi, Todd Dinner: Building Customized Cushion Seats Using Stereo Visions for Disabled. ITNG 2010: 275-280

Dianxiang Xu, Weifeng Xu, W. Eric Wong: Automated Test Code Generation from Class State Models. International Journal of Software Engineering and Knowledge Engineering 19(4): 599-623 (2009)

Dianxiang Xu, Omar el Ariss, Weifeng Xu, Lin-Zhang Wang: Aspect-Oriented Modeling and Verification with Finite State Machines. J. Comput. Sci. Technol. 24(5): 949-961 (2009)

Weifeng Xu, Russell Tessier: Tetris-XL: A performance-driven spill reduction technique for embedded VLIW processors. TACO 6(3) (2009)

Weifeng Xu, Dianxiang Xu: Automated Evaluation of Runtime Object States against Model-Level States for State-Based Test Execution. ICST Workshops 2009: 3-9

Dianxiang Xu, Weifeng Xu, W. Eric Wong: Testing Aspect-Oriented Programs with UML Design Models. International Journal of Software Engineering and Knowledge Engineering 18(3): 413-437 (2008)

Wuxue Zhang, Yong Zhang, Hui Zheng, Chen Zhang, Wei Xiong, John G. Olyarchuk, Michael G. Walker, Weifeng Xu, Min Zhao, Shuqi Zhao, Zhuan Zhou, Liping Wei: SynDB: a Synapse protein DataBase based on synapse ontology. Nucleic Acids Research 35(Database-Issue): 737-741 (2007)

Dianxiang Xu, Izzat Alsmadi, Weifeng Xu: Model Checking Aspect-Oriented Design Specification. COMPSAC (1) 2007: 491-500

Weifeng Xu, Russell Tessier: Tetris: a new register pressure control technique for VLIW processors. LCTES 2007: 113-122

Dianxiang Xu, Weifeng Xu, W. Eric Wong: Automated Test Code Generation from UML Protocol State Machines. SEKE 2007: 99-104

Premachandran R. Menon, Weifeng Xu, Russell Tessier: Design-specific path delay testing in lookup-table-based FPGAs. IEEE Trans. on CAD of Integrated Circuits and Systems 25(5): 867-877 (2006)

Dianxiang Xu, Weifeng Xu: State-based incremental testing of aspect-oriented programs. AOSD 2006: 180-189

Weifeng Xu, Dianxiang Xu: State-based testing of integration aspects. WTAOP 2006: 7-14

Russell Tessier, David Jasinski, Atul Maheshwari, Aiyappan Natarajan, Weifeng Xu, Wayne P. Burleson: An energy-aware active smart card. IEEE Trans. VLSI Syst. 13(10): 1190-1199 (2005)

Dianxiang Xu, Weifeng Xu, Kendall E. Nygard: A State-Based Approach to Testing Aspect-Oriented Programs. SEKE 2005: 366-371

Weifeng Xu, Ramshankar Ramanarayanan, Russell Tessier: Adaptive Fault Recovery for Networked Reconfigurable Systems. FCCM 2003: 143-