6014 search results - page 424 / 1203 » Structural Testing with Use Cases |
172
click to vote
ASM
2005
ASM
15 years 11 months ago
2005
ASM
Abstract. Exploration algorithms are relevant to the industrial practice of gentest cases from an abstract state machine whose runs define the predicted behavior of the software s...
144
click to vote
ITNG
2010
IEEE
15 years 11 months ago
2010
IEEE
—This paper presents the design of BAUT, a tutoring system that explores statistical approach for providing instant project failure analysis. Driven by a Bayesian Network (BN) in...
144
click to vote
ICDCS
1993
IEEE
15 years 10 months ago
1993
IEEE
In this paper, we propose a diagnostic algorithm for the case where distributed system specifications (implementations) are given in the form of communicating finite state machine...
143
click to vote
FLAIRS
2003
15 years 7 months ago
2003
This paper adopts the idea of using knowledge gained by various validation sessions over time with a validation technology developed previously. The work is designed to reduce the...
158
click to vote
SCAI
2008
15 years 7 months ago
2008
Reusing past experiences by reasoning from past cases poses particular problems when the input to case retrieval comes from large amounts of online data. Volve has developed a syst...