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 |
You must be registered for see links