THỰC THI TƯỢNG TRƯNG TRONG SINH TỰ ĐỘNG DỮ LIỆU KIỂM THỬ PHẦN MỀM
In software testing area, all test cases are often generated manually. It time-consumming and costly to complete such task. Symbolic execution is a well-known technique for automatically making the test cases that cover almost every testing criteria in order to deeply discover some errors in complex...
Đã lưu trong:
Những tác giả chính: | , , , |
---|---|
格式: | Bài viết |
语言: | Vietnamese |
出版: |
Trường Đại học Đà Lạt
2023
|
在线阅读: | https://tckh.dlu.edu.vn/index.php/tckhdhdl/article/view/44 https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/114212 |
标签: |
添加标签
没有标签, 成为第一个标记此记录!
|
Thư viện lưu trữ: | Thư viện Trường Đại học Đà Lạt |
---|