Automatic Regression Testing for Lustre/SCADE Applications

QR koda

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

Shranjeno v:

Bibliografske podrobnosti
Glavni avtor:	Trinh Cong Duy
Jezik:	eng
Izdano:	The University of Danang
Online dostop:	https://dlib.udn.vn/module/chi-tiet-sach?RecordID=2869
Oznake:	Označite Brez oznak, prvi označite!

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

Podobne knjige/članki

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

Automatic testing of interactive multimodal applications

Business Applications of Multiple Regression
od: Richardson, Ronny
Izdano: (2011)

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

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

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

Building automatic install rom application-autorom
od: Ngo, Viet Quang
Izdano: (2024)

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

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

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

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

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

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

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

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

Regression analysis
od: Sen

Multiple regression
od: Aiken

Regression Analysis
od: Wilson, J .Holton
Izdano: (2012)

Regression for Economics
od: Naghshpour, Shahdad
Izdano: (2012)

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

Automatic control
od: Djaferis, Theodore Euclid
Izdano: (2000)

Automatic wealth :
od: Masterson, Michael
Izdano: (2005)

Automatic wealth :
od: Masterson, Michael
Izdano: (2005)

Automatic control
od: Djaferis, Theodore E.
Izdano: (2000)

Applied linear regression
od: Weisberg, Sanford
Izdano: (2005)

Applied regression analysis :
od: Dielman, Terry E.
Izdano: (2005)

Applied nonparametric regression
od: Hardle, Wolfgang.
Izdano: (1990)

Applied regression analysis :
od: Dielman, Terry E.
Izdano: (2005)

Introduction to regression modeling
od: Abraham, Bovas

Introduction to regression modeling
od: Bovas Abraham
Izdano: (2006)

Principles of Regression Analysis /
od: Plackett, R. L.
Izdano: (1960)

Applied regression analysis
od: Draper, Norman Richard.
Izdano: (1966)

Automatic data processing
od: Elias M Awad
Izdano: (1967)

Automatic control systems
od: Kuo, Benjamin C.
Izdano: (1995)

Automatic control systems
od: Kuo, Benjamin C.
Izdano: (2003)

Design of automatic machinery
od: Derby, Stephen J.
Izdano: (2005)

Chaos in automatic control
od: Perruquetti, Wilfrid
Izdano: (2006)

Automat und mensch :
od: Steinbuch, K.
Izdano: (1971)

Automatic control systems
od: Kuo, Benjamin C.
Izdano: (1967)