Automatic Regression Testing for Lustre/SCADE Applications

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

保存先:

書誌詳細
第一著者:	Trinh Cong Duy
言語:	eng
出版事項:	The University of Danang
オンライン･アクセス:	https://dlib.udn.vn/module/chi-tiet-sach?RecordID=2869
タグ:	タグ追加タグなし, このレコードへの初めてのタグを付けませんか!

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

類似資料

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
著者:: Nguyễn Văn Định
出版事項: (2013)

Automatic testing of interactive multimodal applications

Business Applications of Multiple Regression
著者:: Richardson, Ronny
出版事項: (2011)

Research and apply Selenium Automatic Testing Tool in Software Testing
著者:: Mai, Van Nhut
出版事項: (2024)

An approach to automatic answering for English reading comprehension tests
著者:: Bui, Phat Tien, 等
出版事項: (2025)

Building Framework Node.js API Automatic Testing
著者:: Tran, Thi Quynh Giao, 等
出版事項: (2024)

Building automatic install rom application-autorom
著者:: Ngo, Viet Quang
出版事項: (2024)

Critical mm-Wave Components for Synthetic Automatic Test Systems
著者:: Hrobak, Michael
出版事項: (2015)

A Link between science and applications of automatic control
出版事項: (1979)

A link between science and applications of automatic control
出版事項: (1979)

A link between science and applications of automatic control
出版事項: (1979)

A link between science and applications of automatic control
出版事項: (1979)

The application of a spatial regression model to the analysis and mapping of poverty
著者:: Alessandra Petrucci
出版事項: (2003)

Automatic Scoring System of Fill-in-the-Blank Tests to Measure Programming Skills
著者:: So, Asai, 等
出版事項: (2018)

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

Regression analysis
著者:: Sen

Multiple regression
著者:: Aiken

Regression Analysis
著者:: Wilson, J .Holton
出版事項: (2012)

Regression for Economics
著者:: Naghshpour, Shahdad
出版事項: (2012)

Building A Cross-Platform Music Application Integrated With An Automatic Recommendation System
著者:: Huynh, Thi Hoang Hao
出版事項: (2025)

Automatic control
著者:: Djaferis, Theodore Euclid
出版事項: (2000)

Automatic wealth :
著者:: Masterson, Michael
出版事項: (2005)

Automatic wealth :
著者:: Masterson, Michael
出版事項: (2005)

Automatic control
著者:: Djaferis, Theodore E.
出版事項: (2000)

Applied linear regression
著者:: Weisberg, Sanford
出版事項: (2005)

Applied regression analysis :
著者:: Dielman, Terry E.
出版事項: (2005)

Applied nonparametric regression
著者:: Hardle, Wolfgang.
出版事項: (1990)

Applied regression analysis :
著者:: Dielman, Terry E.
出版事項: (2005)

Introduction to regression modeling
著者:: Abraham, Bovas

Introduction to regression modeling
著者:: Bovas Abraham
出版事項: (2006)

Principles of Regression Analysis /
著者:: Plackett, R. L.
出版事項: (1960)

Applied regression analysis
著者:: Draper, Norman Richard.
出版事項: (1966)

Automatic data processing
著者:: Elias M Awad
出版事項: (1967)

Automatic control systems
著者:: Kuo, Benjamin C.
出版事項: (1995)

Automatic control systems
著者:: Kuo, Benjamin C.
出版事項: (2003)

Design of automatic machinery
著者:: Derby, Stephen J.
出版事項: (2005)

Chaos in automatic control
著者:: Perruquetti, Wilfrid
出版事項: (2006)

Automat und mensch :
著者:: Steinbuch, K.
出版事項: (1971)

Automatic control systems
著者:: Kuo, Benjamin C.
出版事項: (1967)