Publicaciones en colaboración con investigadores/as de University of Sheffield (13)

2023

  1. Implementation relations and testing for cyclic systems: Adding probabilities

    Robotics and Autonomous Systems, Vol. 165

2021

  1. Mutation testing for robochart

    Software Engineering for Robotics (Springer International Publishing), pp. 345-375

  2. TEA-Cloud: A Formal Framework for Testing Cloud Computing Systems

    IEEE Transactions on Reliability, Vol. 70, Núm. 1, pp. 261-284

  3. Using mutual information to test from Finite State Machines: Test suite selection

    Information and Software Technology, Vol. 132

2020

  1. Implementation relations and testing for cyclic systems with refusals and discrete time

    Journal of Systems and Software, Vol. 170

  2. Message from A-MOST 2020 Chairs

    Proceedings - 2020 IEEE 13th International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2020

2019

  1. An Implementation Relation for Cyclic Systems with Refusals and Discrete Time

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

  2. Message from the a- Most 2019 chairs

    Proceedings - 2019 IEEE 12th International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2019

  3. Using Squeeziness to test component-based systems defined as Finite State Machines

    Information and Software Technology, Vol. 112, pp. 132-147

2018

  1. MoDeVVa 2018 15 th workshop on model-driven engineering, verification and validation

    CEUR Workshop Proceedings

2014

  1. Test case generation by symbolic execution: Basic concepts, a CLP-based instance, and actor-based concurrency

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

2012

  1. Resolving ambiguity in biomedical text to improve summarization

    Information Processing and Management, Vol. 48, Núm. 4, pp. 755-766

2010

  1. Improving summarization of biomedical documents using word sense disambiguation

    Proceedings of the Annual Meeting of the Association for Computational Linguistics