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

Đ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

Thông tin cơ bản

Định dạng
Số trang 47
Dung lượng 11,98 MB

Nội dung

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

TỪ KHÓA LIÊN QUAN

TÀI LIỆU CÙNG NGƯỜI DÙNG

TÀI LIỆU LIÊN QUAN

w