Dianxiang Xu - Publications, H-index & Citations

Dianxiang Xu

Boise State University

21H指数

87论文数

1.4K被引数

收录论文 7

发表时间

LncRNA PCAT6 Regulated by YY1 Accelerates the Progression of Glioblastoma via miR-513/IGF2BP1

NEUROCHEMICAL RESEARCH

IF3.8

2020-09-29

PREAI

Liu, Peng; Zhao, Peng; Li, Bing; Xu, Dianxiang; Wang, Kun

Automated Integration Testing Using Logical Contracts 使用逻辑契约的自动化集成测试

IEEE TRANSACTIONS ON RELIABILITY

IF5.7

2016-09-01

PREAI

Xu, Dianxiang; Xu, Weifeng; Tu, Manghui; Shen, Ning; Chu, William; Chang, Chih-Hung

Automated Model-Based Testing of Role-Based Access Control Using Predicate/Transition Nets

IEEE TRANSACTIONS ON COMPUTERS

IF3.8

2015-09-01

OAAI

Xu, Dianxiang; Kent, Michael; Thomas, Lijo; Mouelhi, Tejeddine; Le Traon, Yves

An Automated Test Generation Technique for Software Quality Assurance 用于软件质量保证的自动测试生成技术

IEEE TRANSACTIONS ON RELIABILITY

IF5.7

2015-03-01

PREAI

Xu, Dianxiang; Xu, Weifeng; Kent, Michael; Thomas, Lijo; Wang, Linzhang

Automated Security Test Generation with Formal Threat Models

IEEE TRANSACTIONS ON DEPENDABLE AND SECURE COMPUTING

IF7.5

2012-07-01

PREAI

Xu, Dianxiang; Tu, Manghui; Sanford, Michael; Thomas, Lijo; Woodraska, Daniel; Xu, Weifeng

A formal architectural model for logical agent mobility

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING

IF5.6

2003-01-01

PREAI

Xu, DX; Yin, JW; Deng, Y; Ding, JH

Compositional schedulability analysis of real-time systems using time Petri nets 基于时间Petri网的实时系统组合可调度性分析

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING

IF5.6

2002-10-01

PREAI

Xu, DX; He, XD; Deng, Y

研究方向