Follow
Weifeng Xu
Title
Cited by
Cited by
Year
Automated security test generation with formal threat models
D Xu, M Tu, M Sanford, L Thomas, D Woodraska, W Xu
IEEE transactions on dependable and secure computing 9 (4), 526-540, 2012
1162012
State-based incremental testing of aspect-oriented programs
D Xu, W Xu
Proceedings of the 5th international conference on Aspect-oriented software …, 2006
1142006
A State-Based Approach to Testing Aspect-Oriented Programs.
D Xu, W Xu, KE Nygard
SEKE, 366-371, 2005
802005
An automated test generation technique for software quality assurance
D Xu, W Xu, M Kent, L Thomas, L Wang
IEEE Transactions on Reliability 64 (1), 247-268, 2014
462014
A model-based approach to test generation for aspect-oriented programs
W Xu, D Xu
First Workshop on Testing Aspect-Oriented Programs, 1-6, 2005
372005
Model checking aspect-oriented design specification
D Xu, I Alsmadi, W Xu
31st Annual International Computer Software and Applications Conference …, 2007
302007
Aspect flow graph for testing aspect-oriented programs
W Xu, D Xu, V Goel, K Nygard
Proceedings of the 8th IASTED International Conference on Software …, 2004
292004
Testing aspect-oriented programs with UML design models
D Xu, W Xu, WE Wong
International Journal of Software Engineering and Knowledge Engineering 18 …, 2008
282008
State-based testing of integration aspects
W Xu, D Xu
Proceedings of the 2nd workshop on Testing aspect-oriented programs, 7-14, 2006
232006
Testing aspect‐oriented programs with finite state machines
D Xu, O El‐Ariss, W Xu, L Wang
Software Testing, Verification and Reliability 22 (4), 267-293, 2012
192012
Aspect-oriented modeling and verification with finite state machines
DX Xu, O El-Ariss, WF Xu, LZ Wang
Journal of computer science and technology 24 (5), 949-961, 2009
162009
Automated test code generation from class state models
D Xu, W Xu, WE Wong
International Journal of Software Engineering and Knowledge Engineering 19 …, 2009
162009
Reduced-order active disturbance rejection control for induction motors
Q Zheng, KK Chedella, W Xu, L Wu
2011 IEEE International Conference on Control Applications (CCA), 1139-1144, 2011
142011
Mining executable specifications of web applications from Selenium IDE tests
D Xu, W Xu, BK Bavikati, WE Wong
2012 IEEE Sixth International Conference on Software Security and …, 2012
132012
Mining test oracles for test inputs generated from java bytecode
W Xu, T Ding, H Wang, D Xu
2013 IEEE 37th Annual Computer Software and Applications Conference, 27-32, 2013
102013
Automated integration testing using logical contracts
D Xu, W Xu, M Tu, N Shen, W Chu, CH Chang
IEEE Transactions on Reliability 65 (3), 1205-1222, 2015
92015
Reduced-order active disturbance rejection control for multivariable chemical processes
Q Zheng, A Daluom, W Xu, Y Zheng
2012 IEEE Industry Applications Society Annual Meeting, 1-7, 2012
92012
The Expansion of Source Code Abbreviations Using a Language Model
A Alatawi, W Xu, J Yan
2018 IEEE 42nd Annual Computer Software and Applications Conference (COMPSAC …, 2018
82018
Measurement of Source Code Readability Using Word Concreteness and Memory Retention of Variable Names
W Xu, D Xu, L Deng
Computer Software and Applications Conference (COMPSAC), 2017 IEEE 41st …, 2017
82017
Automated Test Code Generation from UML Protocol State Machines.
D Xu, W Xu, WE Wong
SEKE, 99-104, 2007
82007
The system can't perform the operation now. Try again later.
Articles 1–20