267 search results - page 9 / 54 » Constructing Test Suites for Interaction Testing |
ICDE
2011
IEEE
12 years 11 months ago
2011
IEEE
—Complex SQL queries are widely used today, but it is rather difficult to check if a complex query has been written correctly. Formal verification based on comparing a specifi...
PTS
1998
13 years 9 months ago
1998
In this paper we present factorized test generation techniques that can be used to generate test cases from a specification that is modelled as a labelled transition system. The t...
ICML
2004
IEEE
14 years 8 months ago
2004
IEEE
Attribute interactions are the irreducible dependencies between attributes. Interactions underlie feature relevance and selection, the structure of joint probability and classific...
FM
2009
Springer
13 years 5 months ago
2009
Springer
Abstract. This paper details a collaboration between Aalborg University and NOVO Nordisk in developing an automatic model-based test generation tool for system testing of the graph...
PTS
2000
13 years 9 months ago
2000
Systems constructed from components, including distributed systems, consist of a number of elements that interact with each other. As the number of network elements or interchangea...