TY  - JOUR
AU  - Rosa Velardo, Fernando
AU  - Rubio Díez, Fernando
AU  - Rodríguez Laguna, Ismael
PY  - 2020
DO  - 10.1016/j.jlamp.2019.100502
SN  - 2352-2208
UR  - https://hdl.handle.net/20.500.14352/96533
T2  - Journal of Logical and Algebraic Methods in Programming
AB  - A general theory introducing asymptotic complexity to testing is presented. Our goal is measuring how fast the effort of testing must increase to reach higher levels of partial certainty on the correctness of the implementation under test (IUT). By...
LA  - eng
PB  - Elsevier
KW  - Testing
KW  - Computational Complexity
TI  - Introducing complexity to formal testing
TY  - journal article
VL  - 111
ER  -