Publications in collaboration with researchers from University of Sheffield (8)

2023

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

    Robotics and Autonomous Systems, Vol. 165

2021

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

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

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