Publicaciones en las que colabora con LUIS FERNANDO LLANA DÍAZ (16)

2020

  1. A semantic framework to debug parallel lazy functional languages

    Mathematics, Vol. 8, Núm. 6

2019

  1. Introducing MOOC-like methodologies in a face-to-face undergraduate course: a detailed case study

    Interactive Learning Environments, Vol. 27, Núm. 1, pp. 15-32

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

2010

  1. Fuzzy-timed automata

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

2009

  1. A debugging system based on natural semantics

    Journal of Universal Computer Science, Vol. 15, Núm. 14, pp. 2836-2880

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

2007

  1. Introducing debugging capabilities to natural semantics

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

  2. Observing intermediate structures in a parallel lazy functional language

    PPDP'07: Proceedings of the 9th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming

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)

2005

  1. Formalizing the debugging process in Haskell

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

  2. Transforming information in RDF to rewriting logic

    Lecture Notes in Computer Science

1998

  1. An invitation to friendly testing

    Journal of Computer Science and Technology, Vol. 13, Núm. 6

  2. Invitation to friendly testing

    Journal of Computer Science and Technology, Vol. 13, Núm. 6, pp. 531-545

1997

  1. Introducing friendly testing

    V Jornadas de Concurrencia: actas de las Quintas Jornadas de Concurrencia. Vigo, junio de 1997