LUIS FERNANDO
LLANA DÍAZ
Profesor titular de universidad
ISMAEL
RODRÍGUEZ LAGUNA
Profesor titular de universidad
Publications by the researcher in collaboration with ISMAEL RODRÍGUEZ LAGUNA (5)
2014
-
A General Testability Theory: Classes, Properties, Complexity, and Testing Reductions
IEEE Transactions on Software Engineering, Vol. 40, Núm. 9, pp. 862-894
2009
-
Formally transforming user-model testing problems into implementer-model testing problems and viceversa
Journal of Logic and Algebraic Programming, Vol. 78, Núm. 6, pp. 425-453
2008
-
Formally comparing user and implementer model-based testing methods
2008 IEEE International Conference on Software Testing Verification and Validation Workshop, ICSTW'08
2006
-
Customized testing for probabilistic systems
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
Derivation of a suitable finite test suite for customized probabilistic systems
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)