This paper reports on an industrial study of the effectiveness of test data generation. In the literature on the automatic generation of test data a number of techniques stand out as having received a significant amount of interest. One area that has achieved considerable attention is the use of combinatorial techniques to construct data adequate test sets that ensure all pairs, triples etc. of...

Three approaches to the problem of testing synchronous data-flow programs written in LUSTRE are presented. LUSTRE is a language well-adapted to both the specification and the development of reactive software. The first approach automatically transforms a set of LUSTRE invariant properties characterizing the environment of the reactive program into a constrained random generator of test data seq...

Multimedia documents are more and more expressed in XML as data representation and exchange services. In this paper, we describe the data and execution models of XML Multimedia Document management as a part of the PHASME information engine. The core data model exploits the Extended Binary Graph structure (so called EBG structure); we present the storage and indexing services. The goals of the o...

average age distribution and generation interval were investigated in four different selection pathways. i.e., sire of future sires (ss), sire of future dams (sd), dam of future sires (ds) and dam of future dams (dd). young bulls pathway (yb) is also considered as a path that affects the generation interval in sd pathway when using progeny testing program. data were collected from animal breedi...

Slavic languages are characteristic by their relatively high degree of word order freedom. In the process of automatic generation from an underlying representation of the content, we have to ensure that a semantically and contextually appropriate word order is chosen. In this paper, we elucidate information structure as the main factor determining word order in Slavic languages, and we present ...