TY  - JOUR
AU  - Rodríguez Laguna, Ismael
AU  - Rubio, David 
AU  - Rubio Díez, Fernando
PY  - 2022
DO  - 10.1007/s11704-022-1673-9
SN  - 2095-2236
UR  - https://hdl.handle.net/20.500.14352/88644
T2  - Frontiers of Computer Science
AB  - In this paper we consider a testing setting where the set of possible definitions of the Implementation Under Test (IUT), as well as the behavior of each of these definitions in all possible interactions, are extensionally defined, i.e., on an...
LA  - eng
PB  - Springer
KW  - Formal testing
KW  - Adaptive testing
KW  - Computational Complexity
KW  - PSPACE-completeness
KW  - approximation hardness
TI  - Complexity of adaptive testing in scenarios defined extensionally
TY  - journal article
VL  - 17
ER  -