Computer Engineering & Science
Previous Articles Next Articles
YANG Yang,HE Liuliu,SHANG Ying,LI Zheng
Received:
Revised:
Online:
Published:
Abstract:
Key words: ASM model, state space explosion, model reduction, test case reduction
YANG Yang,HE Liuliu,SHANG Ying,LI Zheng. ASM reduction for test generation[J]. Computer Engineering & Science.
0 / / Recommend
Add to citation manager EndNote|Ris|BibTeX
URL: http://joces.nudt.edu.cn/EN/
http://joces.nudt.edu.cn/EN/Y2018/V40/I06/1084