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

M

minhcsg1967

New Member
Luận văn:Using SMT solver and symbolic execution to generate test inputs for C programs : Luận văn ThS. Công nghệ thông tin
Nhà xuất bản:ĐHCN
Ngày:2010
Chủ đề:Công nghệ thông tin
Ngôn ngữ C
Ngôn ngữ lập trình
Miêu tả:42 p. + CD-ROM
Luận văn ThS. Công nghệ thông tin – Trường Đại học Công nghệ. Đại học Quốc gia Hà Nội, 2010
Electronic Resources
Kiểu:text
Định dạng:text/pdf
Link tham khảo trích đoạn tài liệu cho AE:
You must be registered for see links

 
Bạn phải đăng nhập hoặc đăng ký để trả lời ở đây.

Kiến thức bôn ba

Các chủ đề có liên quan khác
Tạo bởi Tiêu đề Blog Lượt trả lời Ngày
D Controlling DC Motor Position, Using PID Controller Made by PIC Microcontroller Khoa học kỹ thuật 0
D Study listening difficulties perceived by upper-Secondary school teachers and students in using the English 0
D Robot arm without using robot language and its application to machining process English 0
D Ebook UNDERSTANDING AND USING ENGLISH GRAMMAR, 4TH EDITION Ebook 0
S Retrievalof Internet resource information using peer-to-peer network architecture Luận văn Sư phạm 0
K Toxicity assessment of small molecules using the zebrafish as a model system Văn hóa, Xã hội 0
T Attracting and using ODA in agriculture, rural areas in Vietnam. Case study of Hoa Binh province Ngoại ngữ 0
K Assessment on the satisfaction of hospital using centralized blood transfusion service Ngoại ngữ 0
G Improving the efficiency in using quality human resource in public sector of Thanh Hoa province Ngoại ngữ 0
D PDF You Say More Than You Think: A 7-Day Plan for Using the New Body Language to Get What You Want English 0

Các chủ đề có liên quan khác

Top