引用次数
引用: 2,009
H-指数: 23
I10-指数 : 42
出版物: 91
ATOM: Automatic Maintenance of GUI Test Scripts for Evolving Mobile Applications
Xiao Li , Nana Chang , Yan Wang , Haohua Huang
Software Testing, Verification and Validation (ICST), 2017 IEEE International Conference on 161 -171
63
2017
For Research Only
Yongchao Li , Feng Tan , Qixin Wang , Lei Bu
Automatic XACML requests generation for testing access control policies.
Yongchao Li , You Li , Linzhang Wang , Guanling Chen
SEKE 217 -222
20
2014
Design pattern directed clustering for understanding open source code
Zhixiong Han , Linzhang Wang , Liqian Yu , Xin Chen
Program Comprehension, 2009. ICPC'09. IEEE 17th International Conference on 295 -296
8
2009
Supporting Automatic Code Review via Design
Jiantao He , Linzhang Wang , Jianhua Zhao
Software Security and Reliability-Companion (SERE-C), 2013 IEEE 7th International Conference on 211 -218
2
2013
Analyziang FTPS robustness with timed automata
Lin Tan , Lei Bu , Jianhua Zhao , Linzhang Wang
The Second Asia-Pacific Symposium on Internetware
2
2010
Time-leverage point detection for time sensitive software maintenance
Enyi Tang , Linzhang Wang , Jianhua Zhao , Xuandong Li
Software Maintenance (ICSM), 2012 28th IEEE International Conference on 567 -570
1
2012
Computational error handling as aspects: a case study
Zhanqi Cui , Linzhang Wang , Huigen Liu , Xuandong Li
Proceedings of the 1st workshop on Linking aspect technology and evolution 7 -11
2009
For Research Only
Fengjuan Gao , Linzhang Wang , Xuandong Li
2022
S3TV: Second Screen Smart TV App for Personal Mobile Devices
Jiaxu Sun , Yongchao Li , Xiaoxiao Ma , Jing Xu
Automatic Detection and Repair Recommendation for Missing Checks
Ling-Yun Situ , Lin-Zhang Wang , Yang Liu , Bing Mao
Journal of Computer Science and Technology 34 ( 5) 972 -992
1
2019
Aspect-oriented modeling and verification with finite state machines
Dian-Xiang Xu , Omar El-Ariss , Wei-Feng Xu , Lin-Zhang Wang
Journal of Computer Science and Technology 24 ( 5) 949 -961
10
2009
验证缺失的自动化检测与修复推荐
Ling-Yun Situ , Lin-Zhang Wang , Yang Liu , Bing Mao
计算机科学技术学报 34 ( 5) 972 -992
2019
Checking component-based designs for scenario-based specifications
Jun Hu , Xiao-Feng Yu , Yan Zhang , Lin-Zhang Wang
CHINESE JOURNAL OF COMPUTERS-CHINESE EDITION- 29 ( 4) 513 -513
20
2006
Target-directed concolic testing
Zhan-Qi Cui , Lin-Zhang Wang , Xuan-Dong Li
Jisuanji Xuebao(Chinese Journal of Computers) 34 ( 6) 953 -964
15
2011
Combined static and dynamic immutability analysis of java program
Li-Qian Yu , Lin-Zhang Wang , Bin Lei , Jian-Hua Zhao
Jisuanji Xuebao(Chinese Journal of Computers) 33 ( 4) 736 -746
6
2010
Computational error handling as aspects: a case study and evaluation
Zhan-Qi Cui , Lin-Zhang Wang , Hui-Gen Liu , Xuan-Dong Li
Ruanjian Xuebao/Journal of Software 22 ( 11) 2639 -2651
3
2011
Verification and Test Current Issue| Archive| Adv Search<< Previous Articles| Next Articles
Dian-Xiang Xu , Omar El-Ariss , Wei-Feng Xu , Lin-Zhang Wang
Method and system for optimizing deterministic garbage collection in NAND flash storage systems
Wang Linzhang , Zhang Tian , Zhang Qi , Li Xuandong
7
2017
A Partial Order Reduction Technique for Parallel Timed Automaton Model Checking
Zhao Jianhua , Wang Linzhang , Li Xuandong
leveraging applications of formal methods 17 262 -276
1
2008