intTypePromotion=1
zunia.vn Tuyển sinh 2024 dành cho Gen-Z zunia.vn zunia.vn
ADSENSE

Summary of Mathematical Doctoral Thesis: Some improvements of string contraint solving in automated test cases generation for symbolic execution

Chia sẻ: _ _ | Ngày: | Loại File: PDF | Số trang:27

19
lượt xem
5
download
 
  Download Vui lòng tải xuống để xem tài liệu đầy đủ

The research objective: To study the methods used to modeling constraints and improve constraint solving capability. To apply symbolic execution technique in automatic test case generating. To implement proposed methods in automatic test case generating on string constraints and mixed constraints. To analyze and evaluate the obtained results.

Chủ đề:
Lưu

Nội dung Text: Summary of Mathematical Doctoral Thesis: Some improvements of string contraint solving in automated test cases generation for symbolic execution

ADSENSE

CÓ THỂ BẠN MUỐN DOWNLOAD

 

Đồng bộ tài khoản
2=>2