Sciweavers

168 search results - page 8 / 34
» Model-Based Testing of Automotive Systems
Sort
View
78
Voted
ISCAS
2002
IEEE
149views Hardware» more  ISCAS 2002»
15 years 6 months ago
Design of a DSP-based 24 bit digital audio equalizer for automotive applications
The project deals with the design and realization of a dedicated board DSP-based for the processing of audio signals for automotive applications (DIGIcar). The I/O interface of th...
Alberto Bellini, Eraldo Carpanoni, Giacomo Frassi,...
124
Voted
SEW
2003
IEEE
15 years 7 months ago
Model-Based Software Testing via Incremental Treatment Learning
Model-based software has become quite popular in recent years, making its way into a broad range of areas, including the aerospace industry. The models provide an easy graphical i...
Dustin Geletko, Tim Menzies
145
Voted
FM
2009
Springer
189views Formal Methods» more  FM 2009»
14 years 11 months ago
Model-Based GUI Testing Using Uppaal at Novo Nordisk
Abstract. This paper details a collaboration between Aalborg University and NOVO Nordisk in developing an automatic model-based test generation tool for system testing of the graph...
Ulrik H. Hjort, Jacob Illum Rasmussen, Kim Guldstr...
104
Voted
HICSS
2003
IEEE
179views Biometrics» more  HICSS 2003»
15 years 7 months ago
JUMBL: A Tool for Model-Based Statistical Testing
Statistical testing of software based on a usage model is a cost-effective and efficient means to make inferences about software quality. In order to apply this method, a usage m...
Stacy J. Prowell
IJCAI
2007
15 years 3 months ago
Fault-Model-Based Test Generation for Embedded Software
Testing embedded software systems on the control units of vehicles is a safety-relevant task, and developing the test suites for performing the tests on test benches is time-consu...
Michael Esser, Peter Struss