Computer Science ›› 2008, Vol. 35 ›› Issue (2): 268-273.
Previous Articles Next Articles
LU Yan-Sheng, LU Chao （Department of Computer Science and Technology, Huazhong University of Science and Technology, Wuhan 430074）
Online:
Published:
Abstract: Reachability testing is a general approach to testing concurrent programs via generating the minimal complete partial ordered set of test sequences. Recent work shows, however, that it generally suffers from its scalability due to the large set size. As a
Key words: Software testing, Testing criterion, Reachability testing, Concurrency, ASRSTP
LU Yan-Sheng, LU Chao （Department of Computer Science and Technology, Huazhong University of Science and Technology, Wuhan 430074）. [J].Computer Science, 2008, 35(2): 268-273.
0 / / Recommend
Add to citation manager EndNote|Reference Manager|ProCite|BibTeX|RefWorks
URL: https://www.jsjkx.com/EN/
https://www.jsjkx.com/EN/Y2008/V35/I2/268
Cited
Home