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

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. |

Thái Bình 66 27 pdf

Upload

Không thể tạo bản xem trước, hãy bấm tải xuống

Tải xuống

TÀI LIỆU LIÊN QUAN

Doctoral thesis summary of Education: Developing mathematical intuitive competence for students in teaching Mathematics at high school

24 98 0

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

27 47 1

Summary of Mathematical Physics Doctoral Thesis: Electrical transport properties of some graphene nanostructures

27 41 1

Dissertation summary: Electronic transport properties of some graphene nanostructures

27 39 0

Summary of Mathematics Doctoral Thesis: Some limit theorems in noncommutative probability

22 98 1

Summary of the doctoral thesis of Mathematics: Improving some artificial immune algorithms for network intrusion detection

26 53 0

Summary of Doctoral Thesis in Education Science: Contributing to the developing mathematical language for pre-university students in the Central Highlands

27 68 1

Summary of Doctorate Thesis in Education: Preparing pedagogical university students of math to help school students with guided self-study

28 73 1

A Summary of W.D. Gann's Techniques of Analysis and Trading

6 49 0

Dissertation summary: On the existence of fixed point for some mapping classes in spaces with uniform structure and application

27 45 0

TÀI LIỆU XEM NHIỀU

Thiết kế kế hoạch bài học môn Toán theo định hướng phát triển năng lực học sinh

13 40685 2394

Phân tích và làm rõ ý kiến sau: “Bài thơ Tự tình II vừa nói lên bi kịch duyên phận vừa cho thấy khát vọng sống, khát vọng hạnh phúc của Hồ Xuân Hương”

3 24817 248

31 Câu hỏi ôn tập môn Chủ nghĩa xã hội khoa học

25 24272 4267

Tiểu luận: Vai trò của Nguyễn Ái Quốc đối với việc thành lập Đảng Cộng sản Việt Nam

16 19896 2839

Tiểu luận Tình huống xử lý sai phạm trong thanh toán công tác phí lưu động

20 19384 1542

Bảng biến đổi Laplace và biến đổi Z

1 19133 612

100 câu hỏi trắc nghiệm Triết học Mác-Lênin kèm đáp án

14 19109 2965

Ebook Ôn luyện tiếng Anh 9 có đáp án: Phần 2 - Mai Lan Hương, Hà Thanh Uyên

37 16027 2956

Đề thi và Đáp án môn Tiếng Việt thực hành - ĐH SPKT TP.HCM

3 15751 326

Sự so sánh văn bản văn học và tác phẩm văn học

1 14464 131

TỪ KHÓA LIÊN QUAN

TÀI LIỆU MỚI ĐĂNG

Luận văn Thạc sĩ Tài chính ngân hàng: Kiểm soát rủi ro tín dụng trong cho vay doanh nghiệp tại Ngân hàng thương mại cổ phần Phương Đông - Chi nhánh Đắk Lắk

116 52 2 28-04-2024

Luận văn Thạc sĩ Công tác xã hội: Hoạt động công tác xã hội trong hỗ trợ trẻ em khuyết tật vận động tại quận Hai Bà Trưng, thành phố Hà Nội

96 80 12 28-04-2024

Bài giảng Hình học lớp 9 - bài 2: Tỉ số lượng giác của góc nhọn

18 66 2 28-04-2024

Hệ thống cảm biến động cơ (Phần nâng cao): Phần 1

44 88 4 28-04-2024

Đề thi kết thúc học phần học kì 1 môn Vi sinh học thủy sản năm 2019-2020 có đáp án - Trường ĐH Đồng Tháp

3 69 1 28-04-2024

Suy tim do nhịp nhanh vào lại bộ nối dai dẳng ở trẻ em

9 389 1 28-04-2024

Puccinia triticina pathotypes THTT and THTS display complex transcript profiles on wheat cultivar Thatcher

11 67 1 28-04-2024

Bài giảng Quản trị học - Chương 1: Khái luận về quản trị

18 652 6 28-04-2024

Giáo trình Pháp luật (Trình độ: Trung cấp nghề) - Trường Trung cấp nghề Củ Chi

81 106 3 28-04-2024

Bài giảng Quản lý nhà nước về tài nguyên và môi trường - Chương 0: Mở đầu

8 726 18 28-04-2024

Đề kiểm tra cuối học kì 2 môn Toán lớp 11 năm 2021-2022 - Trường THPT Bùi Thị Xuân

1 91 1 28-04-2024

Bài giảng Quy hoạch tuyến tính: Chương 2 - Nguyễn Hoàng Tuấn

7 167 1 28-04-2024

Giáo trình Kỹ thuật điện (Nghề Lắp đặt cầu - Trình độ Trung cấp): Phần 1 - CĐ GTVT Trung ương I

59 110 3 28-04-2024

Đề thi chất lượng học kì 1 môn Tiếng Anh lớp 11 năm 2022-2023 - Trường THPT Lý Thái Tổ, Bắc Ninh (Mã đề 357)

5 72 1 28-04-2024

Improvement of optical setup of the novel 2D single-shot comb-based interferometer for high-resolution measurement

8 80 1 28-04-2024

Đề thi giữa học kì 2 môn Toán lớp 10 năm 2021-2022 có đáp án - Trường THPT thị xã Quảng Trị (Mã đề 101)

12 82 1 28-04-2024

Tóm tắt Luận văn Thạc sĩ Tài chính Ngân hàng: Hoàn thiện hoạt động kinh doanh dịch vụ ngân hàng điện tử đối với khách hàng cá nhân tại Ngân hàng TMCP Ngoại thương Việt Nam – Chi nhánh Đà Nẵng

26 75 4 28-04-2024

Luận văn Thạc sĩ Sinh học: Nghiên cứu tính ổn định của vắc xin mẫu chuẩn sử dụng trong đánh giá công hiệu vắc xin ho gà vô bào

74 156 2 28-04-2024

Thiết kế mô hình aquaponics trên nền tảng điện toán đám mây

4 83 1 28-04-2024

Thủ Thiêm – Quá khứ và tương lai: Phần 1

224 432 3 28-04-2024

TÀI LIỆU HOT

Phân tích và làm rõ ý kiến sau: “Bài thơ Tự tình II vừa nói lên bi kịch duyên phận vừa cho thấy khát vọng sống, khát vọng hạnh phúc của Hồ Xuân Hương”

3 24817 248

Thiết kế kế hoạch bài học môn Toán theo định hướng phát triển năng lực học sinh

13 40685 2394

CẬP NHẬT KINH TẾ VĨ MÔ VIỆT NAM 6 tháng đầu năm 2020

3 2724 81

Sách trắng Doanh nghiệp Việt Nam năm 2020

580 4996 363

Việt Nam 2035 hướng tới thịnh vượng, sáng tạo, công bằng và dân chủ

584 3295 100

BÀI GIẢNG DỰNG HÌNH SKETCHUP 2020 BIÊN SOẠN : GV.KTS PHAN THỨC

62 6584 1

GIÁO TRÌNH TIẾNG ANH ENG BREAKING

171 5639 718

Quản trị khủng hoảng trong quan hệ công chúng

2 3075 78

Báo cáo thực tập chuyên ngành: Nghiên cứu, thiết kế, mô phỏng robot công nghiệp

51 4395 200

Đề tài “ Cân đối ngân sách nhà nước- thực trạng và hướng hoàn thiện”

53 4693 188