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: | |
|---|---|
| Other Authors: | |
| 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 |
| id |
oai:112.137.131.14:VNU_123-42121 |
|---|---|
| record_format |
dspace |
| spelling |
oai:112.137.131.14:VNU_123-421212018-07-06T03:41:35Z Using SMT solver and symbolic execution to generate test inputs for C programs : Luận văn ThS. Công nghệ thông tin Do, Quoc Huy Nguyen, Ngoc Binh Công nghệ thông tin Ngôn ngữ C Ngôn ngữ lập trình 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. 2017-05-17T08:09:37Z 2017-05-17T08:09:37Z 2010 Thesis Do, Quoc Huy. (2010). Using SMT solver and symbolic execution to generate test inputs for C programs. Master’s thesis, Vietnam National University, Hanoi A_L0_00085 http://repository.vnu.edu.vn/handle/VNU_123/42121 en Luận văn Ngành Công nghệ thông tin (Full) 42 p. + CD-ROM application/pdf ĐHCN |
| institution |
Vietnam National University, Hanoi |
| building |
VNU Library & Information Center |
| country |
Vietnam |
| collection |
VNU Digital Repository |
| language |
English |
| topic |
Công nghệ thông tin Ngôn ngữ C Ngôn ngữ lập trình |
| spellingShingle |
Công nghệ thông tin Ngôn ngữ C Ngôn ngữ lập trình Do, Quoc Huy Using SMT solver and symbolic execution to generate test inputs for C programs : Luận văn ThS. Công nghệ thông tin |
| description |
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. |
| author2 |
Nguyen, Ngoc Binh |
| author_facet |
Nguyen, Ngoc Binh Do, Quoc Huy |
| format |
Theses and Dissertations |
| author |
Do, Quoc Huy |
| author_sort |
Do, Quoc Huy |
| title |
Using SMT solver and symbolic execution to generate test inputs for C programs : Luận văn ThS. Công nghệ thông tin |
| title_short |
Using SMT solver and symbolic execution to generate test inputs for C programs : Luận văn ThS. Công nghệ thông tin |
| title_full |
Using SMT solver and symbolic execution to generate test inputs for C programs : Luận văn ThS. Công nghệ thông tin |
| title_fullStr |
Using SMT solver and symbolic execution to generate test inputs for C programs : Luận văn ThS. Công nghệ thông tin |
| title_full_unstemmed |
Using SMT solver and symbolic execution to generate test inputs for C programs : Luận văn ThS. Công nghệ thông tin |
| title_sort |
using smt solver and symbolic execution to generate test inputs for c programs : luận văn ths. công nghệ thông tin |
| publisher |
ĐHCN |
| publishDate |
2017 |
| url |
http://repository.vnu.edu.vn/handle/VNU_123/42121 |
| _version_ |
1680963381605957632 |