دنبال کردن
Weifeng Xu
Weifeng Xu
ایمیل تأیید شده در ubalt.edu - صفحهٔ اصلی
عنوان
نقل شده توسط
نقل شده توسط
سال
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
1472012
State-based incremental testing of aspect-oriented programs
D Xu, W Xu
Proceedings of the 5th international conference on Aspect-oriented software …, 2006
1182006
A State-Based Approach to Testing Aspect-Oriented Programs.
D Xu, W Xu, KE Nygard
SEKE, 366-371, 2005
832005
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
682014
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
362005
Model checking aspect-oriented design specification
D Xu, I Alsmadi, W Xu
31st Annual International Computer Software and Applications Conference …, 2007
332007
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
252006
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
192009
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
162011
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
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
152012
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
142018
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
132015
A Deep Learning Model for Source Code Generation
R Tiwang, T Oladunni, W Xu
2019 SoutheastCon, 1-7, 2019
122019
Compact Abstract Graphs for Detecting Code Vulnerability with GNN Models
Y Luo, W Xu, D Xu
Proceedings of the 38th Annual Computer Security Applications Conference …, 2022
112022
Towards Internet of Things (IoT) Forensics Analysis on Intelligent Robot Vacuum Systems
H Zhou, L Deng, W Xu, W Yu, J Dehlinger, S Chakraborty
2022 IEEE/ACIS 20th International Conference on Software Engineering …, 2022
102022
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
102017
سیستم در حال حاضر قادر به انجام عملکرد نیست. بعداً دوباره امتحان کنید.
مقاله‌ها 1–20