Đăng nhập

Hãy chọn một cách để đăng nhập

Hoặc tiếp tục với email

Nhớ mật khẩu

Chưa có tài khoản? Đăng ký

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

1

/ 47 trang

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, Using SMT solver and symbolic execution to generate test inputs for C programs

Từ khóa liên quan

Mục lục

Table of Contents
List of Figures
List of Tables
1 . 1 Motivation and contribution
1 . 2 Background
1.2.1 SMT solver
1.2.2 Symbolic execution
1 . 3 Text overview
1 . 4 Related work
2 . 1 Architecture of CREST
2.1.1 Instrumentation tool
2 . 1 . 2 C + + library for performing concolic execution
2.1.3 Search strategies module
2 . 2 Limitations of CREST
3 . 1 Main improvements compared to CREST
3.1.1 Handling floating -point variables
3.1.2 Processing division operator
3 . 2 realCREST’s architecture
A . 1 Solve method of CVC3Solver class
A . 2 Solve method of YicesSolver class

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

A study on using short stories to improve the effeciency of teaching speaking and listening skills to students at Haiphong Foreign Language Centre = Nghiên cứu A study on using short stories to improve the effeciency of teaching speaking and listening skills to students at Haiphong Foreign Language Centre = Nghiên cứu
48 1.018 2
Nghiên cứu về phát triển ngôn ngữ cho học sinh trường Tiểu học Đoàn Xá thông qua điệu ca, bài hát và trò chơi = A study on using chants, songs and games to DEVELOP LANGUAGE IN TEACHING ENGLISH TO STUDENTS AT DOAN XA PRIMARY SCHOOL Nghiên cứu về phát triển ngôn ngữ cho học sinh trường Tiểu học Đoàn Xá thông qua điệu ca, bài hát và trò chơi = A study on using chants, songs and games to DEVELOP LANGUAGE IN TEACHING ENGLISH TO STUDENTS AT DOAN XA PRIMARY SCHOOL
69 617 0
an action research on using body language in teaching english to 5-year-old children at sao mai kindergarten = nghiên cứu hành động về dạy tiếng anh cho trẻ 5 tuổi qua ngôn ngữ cử chỉ tại trường mầm non sao mai an action research on using body language in teaching english to 5-year-old children at sao mai kindergarten = nghiên cứu hành động về dạy tiếng anh cho trẻ 5 tuổi qua ngôn ngữ cử chỉ tại trường mầm non sao mai
53 2.568 2
an english - vietnamese cross - cultural study of idioms with colors and its implications to elt = nghiên cứu giao văn hóa anh - việt về các thành ngữ chứa từ chỉ màu sắc và áp dụng trong việc giảng dạy tiếng anh an english - vietnamese cross - cultural study of idioms with colors and its implications to elt = nghiên cứu giao văn hóa anh - việt về các thành ngữ chứa từ chỉ màu sắc và áp dụng trong việc giảng dạy tiếng anh
47 1.114 3
The role of international agreements in environmental conservation and its implication to Vietnam The role of international agreements in environmental conservation and its implication to Vietnam
179 246 0
Using simulation tasks to improve ESP vocabulary for the second year students of Automotive Engineering Technology Department at Sao Do University Using simulation tasks to improve ESP vocabulary for the second year students of Automotive Engineering Technology Department at Sao Do University
74 665 0

Tài liệu liên quan

Using SMT solver and symbolic execution to generate test inputs for C programs Using SMT solver and symbolic execution to generate test inputs for C programs
47 313 0
Using useful experiences and reading exercises to improve reading skill for grade 10 students Using useful experiences and reading exercises to improve reading skill for grade 10 students
22 431 0
Báo cáo khoa học: "Using Large Monolingual and Bilingual Corpora to Improve Coordination Disambiguation" ppt Báo cáo khoa học: "Using Large Monolingual and Bilingual Corpora to Improve Coordination Disambiguation" ppt
10 406 0
Báo cáo khoa học: "Using Lexical Dependency and Ontological Knowledge to Improve a Detailed Syntactic and Semantic Tagger of English" pot Báo cáo khoa học: "Using Lexical Dependency and Ontological Knowledge to Improve a Detailed Syntactic and Semantic Tagger of English" pot
8 423 0
Design, fabrication, and characterization of a solenoidsystem to generate magnetic ﬁeld for an ECR proton source Design, fabrication, and characterization of a solenoidsystem to generate magnetic ﬁeld for an ECR proton source
8 650 0
báo cáo sinh học:" Workforce analysis using data mining and linear regression to understand HIV/AIDS prevalence patterns" pdf báo cáo sinh học:" Workforce analysis using data mining and linear regression to understand HIV/AIDS prevalence patterns" pdf
6 490 0
báo cáo khoa học: " TRIPS, the Doha Declaration and increasing access to medicines: policy options for Ghana" pdf báo cáo khoa học: " TRIPS, the Doha Declaration and increasing access to medicines: policy options for Ghana" pdf
10 307 0
Using neural networks and genetic algorithms to predict stock market returns Using neural networks and genetic algorithms to predict stock market returns
166 77 0