TY  - JOUR
AU  - García Merayo, María De Las Mercedes
AU  - Rodríguez Laguna, Ismael
AU  - Núñez García, Manuel
PY  - 2006
DO  - 10.1007/11754008_3
SN  - 0302-9743
UR  - https://hdl.handle.net/20.500.14352/50036
T2  - Lecture Notes in Computer Science
AB  - To ensure the conformance of an implementation under test (IUT) with respect to a specification requires, in general, the application of an infinite number of tests. In order to use finite test suites, most testing methodologies add some feasible...
LA  - eng
M2  - 39
PB  - Springer Verlag
TI  - A logic for assessing sets of heterogeneous testing hypotheses
TY  - journal article
VL  - 3964
ER  -