Login / Signup
Longhui Chang
Publication Activity (10 Years)
Years Active: 2014-2015
Publications (10 Years): 1
Top Topics
Artifact Centric
Formal Specification
Model Checking
Test Case Generation
Top Venues
SOFL+MSVL
计算机科学
</>
Publications
</>
Longhui Chang
,
Huaikou Miao
,
Lei Xiao
基于历史信息的自适应测试用例优先级技术 (Self-adaptive Test Case Prioritization Based on History Information).
计算机科学
42 (9) (2015)
Longhui Chang
,
Huaikou Miao
,
Gongzheng Lu
An Implementation Framework for Optimizing Test Case Generation Using Model Checking.
SOFL+MSVL
(2014)