Please use this identifier to cite or link to this item:
http://tailieuso.udn.vn/handle/TTHL_125/9340| Title: | Automatic Regression Testing for Lustre/SCADE Applications |
| Other Titles: | Kiểm thử hồi quy tự động cho các ứng dụng Lustre/SCADE |
| Authors: | Trinh, Cong Duy |
| ???metadata.dc.contributor.advisor???: | Nguyen, Thanh Binh, Assoc. Prof. Dr. Parissis, Ioannis, Prof. Dr. |
| Keywords: | Testing Regreesion testing Reactive system Lustre/SCADE LUSREGTES Model checker Kiểm thử Kiểm thử hồi quy Hệ thống phản ứng Kiểm chứng mô hình |
| Issue Date: | 2018-11 |
| Publisher: | The University of Danang |
| Description: | Engineering Doctoral Thesis. Major: Computer Science. Code of Major: 62 48 01 01; 166 pages. |
| ???metadata.dc.description.tableofcontents???: | Chapter 1.Lustre/SCADE and regression testing: Basic concepts; Chapter 2.Using model checker for testing Lustre/SCADE programs; Chapter 3.Regression testing approach for Lustre/SCADE programs; ... |
| URI: | http://tailieuso.udn.vn/handle/TTHL_125/9340 |
| Appears in Collections: | Kỹ thuật |
Files in This Item:
| File | Description | Size | Format | |
|---|---|---|---|---|
| TrinhCongDuy.TT.pdf | Tóm tắt | 581.43 kB | Adobe PDF | View/Open |
| TrinhCongDuy.TT_E.pdf | Summary | 457.3 kB | Adobe PDF | View/Open |
| TrinhCongDuy.TV.pdf | Fulltext | 18.14 MB | Adobe PDF | View/Open Request a copy |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.