Automatic Regression Testing for Lustre/SCADE Applications

Please use this identifier to cite or link to this item: http://tailieuso.udn.vn/handle/TTHL_125/9340

Full metadata record

DC Field	Value	Language
dc.contributor.advisor	Nguyen, Thanh Binh, Assoc. Prof. Dr.	-
dc.contributor.advisor	Parissis, Ioannis, Prof. Dr.	-
dc.contributor.author	Trinh, Cong Duy	-
dc.date.accessioned	2018-11-27T09:48:58Z	-
dc.date.available	2018-11-27T09:48:58Z	-
dc.date.issued	2018-11	-
dc.date.submitted	2018-11-26	-
dc.identifier.uri	http://tailieuso.udn.vn/handle/TTHL_125/9340	-
dc.description	Engineering Doctoral Thesis. Major: Computer Science. Code of Major: 62 48 01 01; 166 pages.	en
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; ...	en
dc.language.iso	en	en
dc.publisher	The University of Danang	en
dc.source	Trung tâm Phát triển Phần mềm	en
dc.subject	Testing	en
dc.subject	Regreesion testing	en
dc.subject	Reactive system	en
dc.subject	Lustre/SCADE	en
dc.subject	LUSREGTES	en
dc.subject	Model checker	en
dc.subject	Kiểm thử	en
dc.subject	Kiểm thử hồi quy	en
dc.subject	Hệ thống phản ứng	en
dc.subject	Kiểm chứng mô hình	en
dc.title	Automatic Regression Testing for Lustre/SCADE Applications	en
dc.title.alternative	Kiểm thử hồi quy tự động cho các ứng dụng Lustre/SCADE	en
dc.type	Ph.D Thesis	en
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