Computer Science ›› 2006, Vol. 33 ›› Issue (9): 253-256.
Previous Articles Next Articles
YI Xiao-Dong ,YANG Xue-Jun (College of Computer, National Univ. of Defense Technology, Changsha 410073)
Online:
Published:
Abstract: Inserting assertions into program source codes is a simple but effective way to ensure software quality. One usually checks the assertions through testing, but the testing based verification can't guarantee completeness. We present in this paper a full-au
Key words: Assertion verification,Symbolic execution based on program slicing, CEGAR, Static analysis
YI Xiao-Dong ,YANG Xue-Jun (College of Computer, National Univ. of Defense Technology, Changsha 410073). [J].Computer Science, 2006, 33(9): 253-256.
0 / / Recommend
Add to citation manager EndNote|Reference Manager|ProCite|BibTeX|RefWorks
URL: https://www.jsjkx.com/EN/
https://www.jsjkx.com/EN/Y2006/V33/I9/253
Cited