1890 search results - page 7 / 378 » Model-Based Testing in Practice |
IJCAI
2007
13 years 8 months ago
2007
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...
JAIR
2010
13 years 5 months ago
2010
Model-based diagnostic reasoning often leads to a large number of diagnostic hypotheses. The set of diagnoses can be reduced by taking into account extra observations (passive mon...
EUROCAST
2009
Springer
14 years 1 months ago
2009
Springer
Model-based testing generates test cases from a high-level model. Current models employ extensions to finite-state machines. This work proposes a separation of transitions in the ...
FMCO
2006
Springer
13 years 10 months 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...
FMICS
2006
Springer
13 years 10 months ago
2006
Springer
Abstract. We present experiences from a case study where a model-based approach to black-box testing is applied to verify that a Wireless Application Protocol (WAP) gateway conform...