6704 search results - page 45 / 1341 » Testing Scenario-Based Models |
ENTCS
2010
13 years 7 months ago
2010
Testing and verification of asynchronously communicating objects in open environments are challenging due to non-determinism. We explore a formal approach for black-box testing by...
ICST
2009
IEEE
14 years 4 months ago
2009
IEEE
We propose a novel testing approach that combines information from UML sequence models and state machine models. Current approaches that rely solely on sequence models do not cons...
ECBS
2005
IEEE
14 years 3 months ago
2005
IEEE
Testing complex Computer-Based Systems is not only a demanding but a very critical task. Therefore the use of models for generating test data is an important goal. Tool support du...
CSDA
2010
13 years 10 months ago
2010
We consider switching regression models with independent or Markov-dependent regime. Based on the modified likelihood ratio test (LRT) statistic by Chen, Chen and Kalbfleisch (200...
NMR
2004
Springer
14 years 3 months ago
2004
Springer
Within the law, the traditional test for attributing causal responsibility is the counterfactual “but-for” test, which asks whether the injury complained of would have occurre...