Using SMT solver and symbolic execution to generate test inputs for C programs : Luận văn ThS. Công nghệ thông tin
Chapter 1: Introduction. Chapter 2: CREST. Chapter 3: realCREST: A new test generation tool based on CREST. Chapter 4: Experiment and discusion. Chapter 5: Conclusion and Future Work.
Saved in:
Main Author: | Do, Quoc Huy |
---|---|
Other Authors: | Nguyen, Ngoc Binh |
Format: | Theses and Dissertations |
Language: | English |
Published: |
ĐHCN
2017
|
Subjects: | |
Online Access: | http://repository.vnu.edu.vn/handle/VNU_123/42121 |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Institution: | Vietnam National University, Hanoi |
Language: | English |
Similar Items
-
Ngôn ngữ UML và ngôn ngữ SDL : Luận văn ThS. Công nghệ thông tin
by: Trịnh, Thị Thuý Giang
Published: (2017) -
Phát hiện quan hệ ngữ nghĩa nguyên nhân - kết quả từ các văn bản
by: Vũ, Bội Hằng
Published: (2016) -
Lập trình Pascal. Tập 2
by: Bùi, Việt Hà
Published: (2018) -
Bài tập lập trình hướng đối tượng với C++ : bài tập mẫu, câu hỏi trắc nghiệm, bài tập tự giải
by: Nguyễn Thanh Thủy
Published: (2017) -
Giáo trình C++ & lập trình hướng đối tượng
Published: (2017)