3547 search results - page 194 / 710 » Pseudo-Exhaustive Testing for Software |
191
click to vote
ICFEM
2009
Springer
16 years 1 months ago
2009
Springer
In this paper we describe the functional features and the architecture of a tool implementing the Stocks-Carrington framework (TTF) for model based testing (MBT). The resulting pro...
181
click to vote
ITNG
2008
IEEE
16 years 1 months ago
2008
IEEE
A method of using Markov chain techniques for combinatorial test case selection is presented. The method can be used for statistical and coverage testing of many software programs...
211
click to vote
SEFM
2007
IEEE
16 years 1 months ago
2007
IEEE
Various research prototypes and a well-founded theory of model based testing (MBT) suggests the application of MBT to real-world problems. In this article we report on applying th...
191
click to vote
COMPSAC
2005
IEEE
16 years 23 days ago
2005
IEEE
Automatic test data generation leads to the identification of input values on which a selected path or a selected branch is executed within a program (path-oriented vs goalorient...
192
click to vote
ICSE
2003
IEEE-ACM
16 years 10 days ago
2003
IEEE-ACM
This paper presents a model checking-based approach to data flow testing. We characterize data flow oriented coverage criteria in temporal logic such that the problem of test ge...