引用次数
引用: 2,009
H-指数: 23
I10-指数 : 42
出版物: 91
Generating test cases from UML activity diagram based on Gray-box method
Wang Linzhang , Yuan Jiesong , Yu Xiaofeng , Hu Jun
asia-pacific software engineering conference 284 -291
336
2004
VERIFYING ASPECT-ORIENTED MODELS AGAINST CROSSCUTTING PROPERTIES
ZHANQI CUI , LINZHANG WANG , XI LIU , LEI BU
International Journal of Software Engineering and Knowledge Engineering 23 ( 05) 655 -676
2
2013
Lazy real time garbage collection method
Qi Zhang , LI Xuandong , WANG Linzhang , Tian Zhang
20
2018
Sketch-Guided GUI Test Generation for Mobile Applications
Enyi Tang , WANG Linzhang , Chucheng Zhang , Haoliang Cheng
2
2018
Activity diagram model-based system behavior simulation method
WANG Linzhang , Lei Yu , LI Xuandong , Zhi Chen
1
2017
Method and system for optimizing deterministic garbage collection in NAND flash storage systems
Qi Zhang , LI Xuandong , WANG Linzhang , Tian Zhang
16
2019
Interrupt-driven system verification method based on interrupt sequence diagram
Minxue Pan , Shouyu Chen , Tian Zhang , WANG Linzhang
2023
An Approach to Generate Integration Test Cases Based on UML Collaboration Diagrams
Lin-zhang Wang , Xuan-dong LI , Guo-liang ZHENG
Acta Electronica Sinica 32 ( 8) 1290 -1296
4
2004
BACH: B ounded reach A bility CH ecker for linear hybrid automata
Lei Bu , Linzhang Wang , You Li , Xuandong Li
formal methods in computer aided design 9
2008
BACH 2: Bounded reachAbility CHecker for compositional linear hybrid systems
Lei Bu , Linzhang Wang , You Li , Xin Chen
design, automation, and test in europe 1512 -1517
6
2010
Method and system automatic buffer overflow warning inspection and bug repair
Linzhang Wang , You Li , Xuandong Li
4
2018
Change-Based Test Script Maintenance for Android Apps
Nana Chang , Linzhang Wang , Yu Pei , Subrota K. Mondal
2018 IEEE International Conference on Software Quality, Reliability and Security (QRS) 215 -225
11
2018
Toward online hybrid systems model checking of cyber-physical systems' time-bounded short-run behavior
Lei Bu , Qixin Wang , Xin Chen , Linzhang Wang
ACM SIGBED Review 8 ( 2) 7 -10
71
2011
Model-based Construction and Verification of Cyber-Physical Systems
Lei Bu , Tian Zhang , Xin Chen , Linzhang Wang
ACM Sigsoft Software Engineering Notes 43 ( 3) 6 -10
2018
Towards a model driven approach to automatic BPEL generation
Xiaofeng Yu , Yan Zhang , Tian Zhang , Linzhang Wang
european conference on model driven architecture foundations and applications 204 -218
20
2007
nCov: A Tool for Measuring Length-n Subpath Coverage
Yan Zhou , You Li , Linzhang Wang , Xuandong Li
asia pacific symposium on internetware 176 -185
2015
Detecting Data Races in Interrupt-Driven Programs based on Static Analysis and Dynamic Simulation
Yu Wang , Junjing Shi , Linzhang Wang , Jianhua Zhao
asia pacific symposium on internetware 199 -202
5
2015
A model-driven development framework for enterprise Web services
Xiaofeng Yu , Yan Zhang , Tian Zhang , Linzhang Wang
Information Systems Frontiers 9 ( 4) 391 -409
18
2007
Vanguard: Detecting Missing Checks for Prognosing Potential Vulnerabilities
Lingyun Situ , Linzhang Wang , Yang Liu , Bing Mao
asia pacific symposium on internetware 5
3
2018
Steering symbolic execution to less traveled paths
You Li , Zhendong Su , Linzhang Wang , Xuandong Li
conference on object oriented programming systems languages and applications 48 ( 10) 19 -32
150
2013