Linzhang Wang
Linzhang Wang
Professor of Computer Science, Nanjing University
在 nju.edu.cn 的电子邮件经过验证 - 首页
标题
引用次数
引用次数
年份
Generating test cases from UML activity diagram based on gray-box method
W Linzhang, Y Jiesong, Y Xiaofeng, H Jun, L Xuandong, Z Guoliang
Software Engineering Conference, 2004. 11th Asia-Pacific, 284-291, 2004
3202004
Steering symbolic execution to less traveled paths
Y Li, Z Su, L Wang, X Li
ACM SIGPLAN Notices 48 (10), 19-32, 2013
1282013
UML activity diagram-based automatic test case generation for Java programs
M Chen, X Qiu, W Xu, L Wang, J Zhao, X Li
The Computer Journal 52 (5), 545-556, 2009
1012009
A threat model driven approach for security testing
L Wang, E Wong, D Xu
Proceedings of the Third International Workshop on Software Engineering for …, 2007
742007
Toward online hybrid systems model checking of cyber-physical systems' time-bounded short-run behavior
L Bu, Q Wang, X Chen, L Wang, T Zhang, J Zhao, X Li
ACM SIGBED Review 8 (2), 7-10, 2011
622011
BACH: Bounded reachability checker for linear hybrid automata
L Bu, Y Li, L Wang, X Li
Formal Methods in Computer-Aided Design, 2008. FMCAD'08, 1-4, 2008
542008
For Research Only
B Lei, L Wang, X Li
54*
Selective restore: an energy efficient read disturbance mitigation scheme for future STT-MRAM
R Wang, L Jiang, Y Zhang, L Wang, J Yang
Proceedings of the 52nd Annual Design Automation Conference, 21, 2015
492015
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, 2015
452015
Design and Implementation of a Toolkit for Usability Testing of Mobile Apps
X Ma, B Yan, G Chen, C Zhang, K Huang, J Drury, L Wang
Mobile Networks and Applications 18 (1), 81-97, 2013
452013
A model-driven development framework for enterprise Web services
X Yu, Y Zhang, T Zhang, L Wang, J Hu, J Zhao, X Li
Information Systems Frontiers 9 (4), 391-409, 2007
452007
ATOM: Automatic Maintenance of GUI Test Scripts for Evolving Mobile Applications
X Li, N Chang, Y Wang, H Huang, Y Pei, L Wang, X Li
Software Testing, Verification and Validation (ICST), 2017 IEEE …, 2017
442017
Leveraging design rules to improve software architecture recovery
Y Cai, H Wang, S Wong, L Wang
Proceedings of the 9th international ACM Sigsoft conference on Quality of …, 2013
382013
An empirical study on detecting and fixing buffer overflow bugs
T Ye, L Zhang, L Wang, X Li
2016 IEEE International Conference on Software Testing, Verification and …, 2016
322016
BovInspector: automatic inspection and repair of buffer overflow vulnerabilities
F Gao, L Wang, X Li
Proceedings of the 31st IEEE/ACM International Conference on Automated …, 2016
312016
Dynamically Validating Static Memory Leak Warnings
M Li, Y Chen, L Wang, G Xu
ISSTA ’13, 2013
312013
Towards a model driven approach to automatic bpel generation
X Yu, Y Zhang, T Zhang, L Wang, J Zhao, G Zheng, X Li
European Conference on Model Driven Architecture-Foundations and …, 2007
292007
Modeling and integrating aspects with UML activity diagrams
Z Cui, L Wang, X Li, D Xu
Proceedings of the 2009 ACM symposium on Applied Computing, 430-437, 2009
282009
BACH 2: B ounded reach A bility CH ecker for compositional linear hybrid systems
L Bu, Y Li, L Wang, X Chen, X Li
Proceedings of the Conference on Design, Automation and Test in Europe, 1512 …, 2010
262010
Lazy-RTGC: A real-time lazy garbage collection mechanism with jointly optimizing average and worst performance for NAND flash memory storage systems
Q Zhang, X Li, L Wang, T Zhang, Y Wang, Z Shao
ACM Transactions on Design Automation of Electronic Systems (TODAES) 20 (3), 43, 2015
252015
系统目前无法执行此操作,请稍后再试。
文章 1–20