Publikationen, an denen er mitarbeitet Ismael Rodríguez Laguna (3)

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

  2. Formally testing liveness by means of compression rates

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