Automatic Regression Testing for Lustre/SCADE Applications

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

Đã lưu trong:

Bibliografiske detaljer
Hovedforfatter:	Trinh Cong Duy
Sprog:	eng
Udgivet:	The University of Danang
Online adgang:	https://dlib.udn.vn/module/chi-tiet-sach?RecordID=2869
Tags:	Tilføj Tag Ingen Tags, Vær først til at tagge denne postø!

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

Lignende værker

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
af: Nguyễn Văn Định
Udgivet: (2013)

Automatic testing of interactive multimodal applications

Business Applications of Multiple Regression
af: Richardson, Ronny
Udgivet: (2011)

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

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

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

Building automatic install rom application-autorom
af: Ngo, Viet Quang
Udgivet: (2024)

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

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

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

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

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

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

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

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

Regression analysis
af: Sen

Multiple regression
af: Aiken

Regression Analysis
af: Wilson, J .Holton
Udgivet: (2012)

Regression for Economics
af: Naghshpour, Shahdad
Udgivet: (2012)

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

Automatic control
af: Djaferis, Theodore Euclid
Udgivet: (2000)

Automatic wealth :
af: Masterson, Michael
Udgivet: (2005)

Automatic wealth :
af: Masterson, Michael
Udgivet: (2005)

Automatic control
af: Djaferis, Theodore E.
Udgivet: (2000)

Applied linear regression
af: Weisberg, Sanford
Udgivet: (2005)

Applied regression analysis :
af: Dielman, Terry E.
Udgivet: (2005)

Applied nonparametric regression
af: Hardle, Wolfgang.
Udgivet: (1990)

Applied regression analysis :
af: Dielman, Terry E.
Udgivet: (2005)

Introduction to regression modeling
af: Abraham, Bovas

Introduction to regression modeling
af: Bovas Abraham
Udgivet: (2006)

Principles of Regression Analysis /
af: Plackett, R. L.
Udgivet: (1960)

Applied regression analysis
af: Draper, Norman Richard.
Udgivet: (1966)

Automatic data processing
af: Elias M Awad
Udgivet: (1967)

Automatic control systems
af: Kuo, Benjamin C.
Udgivet: (1995)

Automatic control systems
af: Kuo, Benjamin C.
Udgivet: (2003)

Design of automatic machinery
af: Derby, Stephen J.
Udgivet: (2005)

Chaos in automatic control
af: Perruquetti, Wilfrid
Udgivet: (2006)

Automat und mensch :
af: Steinbuch, K.
Udgivet: (1971)

Automatic control systems
af: Kuo, Benjamin C.
Udgivet: (1967)