1. Trang chủ
  2. » Luận Văn - Báo Cáo

Using SMT solver and symbolic execution to generate test inputs for C programs

47 313 0
Using SMT solver and symbolic execution to generate test inputs for C programs

Đang tải... (xem toàn văn)

Tài liệu hạn chế xem trước, để xem đầy đủ mời bạn chọn Tải xuống

Thông tin tài liệu

Ngày đăng: 25/03/2015, 10:20

Xem thêm: Using SMT solver and symbolic execution to generate test inputs for C programs

Mục lục

    2 . 1 . 2 C + + library for performing concolic execution

    3 . 1 Main improvements compared to CREST

    3.1.1 Handling floating -point variables

    A . 1 Solve method of CVC3Solver class

    A . 2 Solve method of YicesSolver class

    A . 3 SolveAtBranch method of Search class

Tài liệu cùng người dùng

Tài liệu liên quan