Automatic Regression Testing for Lustre/SCADE Applications

Côd QR

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; ...

Wedi'i Gadw mewn:

Manylion Llyfryddiaeth
Prif Awdur:	Trinh Cong Duy
Iaith:	eng
Cyhoeddwyd:	The University of Danang
Mynediad Ar-lein:	https://dlib.udn.vn/module/chi-tiet-sach?RecordID=2869
Tagiau:	Ychwanegu Tag Dim Tagiau, Byddwch y cyntaf i dagio'r cofnod hwn!

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

Eitemau Tebyg

Creating test data generation tool for Lustre/SCADE programs using model checking

Nghiên cứu và ứng dụng kiểm chứng mô hình cho các hệ thống phát triển trên môi trường Lustre/SCADE
gan: Nguyễn Văn Định
Cyhoeddwyd: (2013)

Automatic testing of interactive multimodal applications

Business Applications of Multiple Regression
gan: Richardson, Ronny
Cyhoeddwyd: (2011)

Research and apply Selenium Automatic Testing Tool in Software Testing
gan: Mai, Van Nhut
Cyhoeddwyd: (2024)

An approach to automatic answering for English reading comprehension tests
gan: Bui, Phat Tien, et al.
Cyhoeddwyd: (2025)

Building Framework Node.js API Automatic Testing
gan: Tran, Thi Quynh Giao, et al.
Cyhoeddwyd: (2024)

Building automatic install rom application-autorom
gan: Ngo, Viet Quang
Cyhoeddwyd: (2024)

Critical mm-Wave Components for Synthetic Automatic Test Systems
gan: Hrobak, Michael
Cyhoeddwyd: (2015)

A Link between science and applications of automatic control
Cyhoeddwyd: (1979)

A link between science and applications of automatic control
Cyhoeddwyd: (1979)

A link between science and applications of automatic control
Cyhoeddwyd: (1979)

A link between science and applications of automatic control
Cyhoeddwyd: (1979)

The application of a spatial regression model to the analysis and mapping of poverty
gan: Alessandra Petrucci
Cyhoeddwyd: (2003)

Automatic Scoring System of Fill-in-the-Blank Tests to Measure Programming Skills
gan: So, Asai, et al.
Cyhoeddwyd: (2018)

Weighted average power similar tests for structural change in the Gaussian linear regression model /
gan: Forchini, Giovanni.

Regression analysis
gan: Sen

Multiple regression
gan: Aiken

Regression Analysis
gan: Wilson, J .Holton
Cyhoeddwyd: (2012)

Regression for Economics
gan: Naghshpour, Shahdad
Cyhoeddwyd: (2012)

Building A Cross-Platform Music Application Integrated With An Automatic Recommendation System
gan: Huynh, Thi Hoang Hao
Cyhoeddwyd: (2025)

Automatic control
gan: Djaferis, Theodore Euclid
Cyhoeddwyd: (2000)

Automatic wealth :
gan: Masterson, Michael
Cyhoeddwyd: (2005)

Automatic wealth :
gan: Masterson, Michael
Cyhoeddwyd: (2005)

Automatic control
gan: Djaferis, Theodore E.
Cyhoeddwyd: (2000)

Applied linear regression
gan: Weisberg, Sanford
Cyhoeddwyd: (2005)

Applied regression analysis :
gan: Dielman, Terry E.
Cyhoeddwyd: (2005)

Applied nonparametric regression
gan: Hardle, Wolfgang.
Cyhoeddwyd: (1990)

Applied regression analysis :
gan: Dielman, Terry E.
Cyhoeddwyd: (2005)

Introduction to regression modeling
gan: Abraham, Bovas

Introduction to regression modeling
gan: Bovas Abraham
Cyhoeddwyd: (2006)

Principles of Regression Analysis /
gan: Plackett, R. L.
Cyhoeddwyd: (1960)

Applied regression analysis
gan: Draper, Norman Richard.
Cyhoeddwyd: (1966)

Automatic data processing
gan: Elias M Awad
Cyhoeddwyd: (1967)

Automatic control systems
gan: Kuo, Benjamin C.
Cyhoeddwyd: (1995)

Automatic control systems
gan: Kuo, Benjamin C.
Cyhoeddwyd: (2003)

Design of automatic machinery
gan: Derby, Stephen J.
Cyhoeddwyd: (2005)

Chaos in automatic control
gan: Perruquetti, Wilfrid
Cyhoeddwyd: (2006)

Automat und mensch :
gan: Steinbuch, K.
Cyhoeddwyd: (1971)

Automatic control systems
gan: Kuo, Benjamin C.
Cyhoeddwyd: (1967)