TY  - JOUR
AU  - García Merayo, María De Las Mercedes
AU  - Rodríguez Laguna, Ismael
AU  - Núñez García, Manuel
PY  - 2007
DO  - 10.1016/j.jlap.2007.03.002
SN  - 1567-8326
UR  - https://hdl.handle.net/20.500.14352/50022
T2  - Journal of Logic and Algebraic Programming
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  - 57
PB  - Elsevier
KW  - Formal testing
KW  - Conformance testing
KW  - Finite state machines
KW  - Test-generation
KW  - Formal methods
KW  - Conformance
KW  - Implementation
KW  - Sets
KW  - Computer Science
KW  - Theory & Methods
TI  - HOTL: Hypotheses and observations testing logic
TY  - journal article
VL  - 74
ER  -