Publications by the researcher in collaboration with ISMAEL RODRÍGUEZ LAGUNA (5)

2014

  1. A General Testability Theory: Classes, Properties, Complexity, and Testing Reductions

    IEEE Transactions on Software Engineering, Vol. 40, Núm. 9, pp. 862-894

2009

  1. 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

  1. Formally comparing user and implementer model-based testing methods

    2008 IEEE International Conference on Software Testing Verification and Validation Workshop, ICSTW'08

2006

  1. Customized testing for probabilistic systems

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

  2. 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)