168 search results - page 9 / 34 » Model-Based Testing of Automotive Systems |
ICIP
2009
IEEE
14 years 9 months ago
2009
IEEE
In the near future automatic systems able to detect the traffic situation and to understand driver behavior and intent will probably become vehicles tool to improve driver safety....
FMCO
2006
Springer
14 years 7 days ago
2006
Springer
Abstract. In component-based development, the correctness of a system depends on the correctness of the individual components and on their interactions. Model-based testing is a wa...
FATES
2006
Springer
14 years 7 days ago
2006
Springer
Abstract. More and more software systems use a browser as the universal graphical user interface. As a consequence these applications inherit browser navigation as part of their in...
ECAI
2008
Springer
13 years 10 months ago
2008
Springer
This article formalises the dual problem to model-based diagnosis (MBD), i.e., generating tests to isolate multiple simultaneous faults. Using a standard propositional MBD framewo...
ICSE
2009
IEEE-ACM
13 years 6 months ago
2009
IEEE-ACM
Model driven functional system testing generates test scenarios from behavioural and structural models. In order to autmatically generate tests, conditions such as invariants and ...