Automatic Regression Testing for Lustre/SCADE Applications
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; ...
Сохранить в:
| Главный автор: | |
|---|---|
| Язык: | eng |
| Опубликовано: |
The University of Danang
|
| Online-ссылка: | https://dlib.udn.vn/module/chi-tiet-sach?RecordID=2869 |
| Метки: |
Добавить метку
Нет меток, Требуется 1-ая метка записи!
|
| Thư viện lưu trữ: | Trung tâm Công nghệ thông tin và Học liệu số, Đại học Đà Nẵng |
|---|
| id |
https:--dlib.udn.vn-module-chi-tiet-sach?RecordID=2869 |
|---|---|
| record_format |
dspace |
| spelling |
https:--dlib.udn.vn-module-chi-tiet-sach?RecordID=28692025-04-21T00:00:00ZTrinh Cong DuyAutomatic Regression Testing for Lustre/SCADE ApplicationsKiểm thử hồi quy tự động cho các ứng dụng Lustre/SCADEThe University of DanangChapter 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; ...engTrung tâm Phát triển Phần mềmhttps://dlib.udn.vn/module/chi-tiet-sach?RecordID=2869 |
| institution |
Trung tâm Công nghệ thông tin và Học liệu số, Đại học Đà Nẵng |
| collection |
DSpace |
| language |
eng |
| description |
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; ... |
| author |
Trinh Cong Duy |
| spellingShingle |
Trinh Cong Duy Automatic Regression Testing for Lustre/SCADE Applications |
| author_facet |
Trinh Cong Duy |
| author_sort |
Trinh Cong Duy |
| title |
Automatic Regression Testing for Lustre/SCADE Applications |
| title_short |
Automatic Regression Testing for Lustre/SCADE Applications |
| title_full |
Automatic Regression Testing for Lustre/SCADE Applications |
| title_fullStr |
Automatic Regression Testing for Lustre/SCADE Applications |
| title_full_unstemmed |
Automatic Regression Testing for Lustre/SCADE Applications |
| title_sort |
automatic regression testing for lustre/scade applications |
| publisher |
The University of Danang |
| url |
https://dlib.udn.vn/module/chi-tiet-sach?RecordID=2869 |
| _version_ |
1848657503446892544 |