6704 search results - page 87 / 1341 » Testing Scenario-Based Models |
106
click to vote
JSS
2008
15 years 2 months ago
2008
We propose an approach for analyzing software architectures with respect to reliability to improve fault tolerance. The approach defines a failure scenario model that is based on ...
131
click to vote
DSVIS
2003
Springer
15 years 7 months ago
2003
Springer
Model Based Testing (MBT) is a functional testing technique that makes use of information from behavioral models of the software to carry out the testing task. This technique has b...
219
click to vote
ISSTA
2004
ACM
15 years 7 months ago
2004
ACM
We show how model checking and symbolic execution can be used to generate test inputs to achieve structural coverage of code that manipulates complex data structures. We focus on ...
116
click to vote
DDECS
2009
IEEE
15 years 6 months ago
2009
IEEE
Although the Neighborhood Pattern Sensitive Fault (NPSF) model is recognized as a high quality fault model for memory arrays, the excessive test application time cost associated wi...
123
click to vote
JSW
2007
15 years 2 months ago
2007
— BPEL (Business Process Execution Language) as a de-facto standard for web service orchestration has drawn particularly attention from researchers and industries. BPEL is a semi...