Search Sciweavers | Sciweavers

168 search results - page 6 / 34

» Model-Based Testing of Automotive Systems

click to vote

IPPS
2006
IEEE

144views Distributed And Parallel Com...» more IPPS 2006»

Implementation of a reconfigurable hard real-time control system for mechatronic and automotive applications

14 years 2 months ago

Download www.cecs.uci.edu

Control algorithms implemented directly in hardware take advantage of parallel signal processing. Furthermore, implementing controller functionality in reconfigurable hardware fac...

Steffen Toscher, Roland Kasper, Thomas Reinemann

claim paper

Read More »

click to vote

FORTEST
2008

152views Formal Methods» more FORTEST 2008»

Model-Based Testing of Object-Oriented Reactive Systems with Spec Explorer

13 years 10 months ago

Download research.microsoft.com

Testing is one of the costliest aspects of commercial software development. Model-based testing is a promising approach addressing these deficits. At Microsoft, model-based testin...

Margus Veanes, Colin Campbell, Wolfgang Grieskamp,...

claim paper

Read More »

click to vote

PTS
2007

112views Hardware» more PTS 2007»

Symbolic Model Based Testing for Component Oriented Systems

13 years 10 months ago

Download www.epigenomique.genopole.fr

In a component oriented approach, components are designed, developed and validated in order to be widely used. However one cannot always foresee which speciﬁc uses will be made o...

Alain Faivre, Christophe Gaston, Pascale Le Gall

claim paper

Read More »

click to vote

ATAL
2009
Springer

112views Intelligent Agents» more ATAL 2009»

Model based testing for agent systems

14 years 3 months ago

Download www.aamas-conference.org

Zhiyong Zhang, John Thangarajah, Lin Padgham

claim paper

Read More »