Publications in collaboration with researchers from Brunel University London (35)

2018

  1. A tool supported methodology to passively test asynchronous systems with multiple users

    Information and Software Technology, Vol. 104, pp. 162-178

  2. Bounded Reordering in the Distributed Test Architecture

    IEEE Transactions on Reliability, Vol. 67, Núm. 2, pp. 522-537

  3. Passive testing with asynchronous communications and timestamps

    Distributed Computing, Vol. 31, Núm. 5, pp. 327-342

  4. Preface

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

2017

  1. An extended framework for passive asynchronous testing

    Journal of Logical and Algebraic Methods in Programming, Vol. 86, Núm. 1, pp. 408-424

  2. Implementation relations and probabilistic schedulers in the distributed test architecture

    Journal of Systems and Software, Vol. 132, pp. 319-335

  3. Introduction to the Software Engineering and Formal Methods 2013 special issue

    Software and Systems Modeling

  4. Preface

    Proceedings of the 11th European Conference on Games Based Learning, ECGBL 2017

2016

  1. Controllability through nondeterminism in distributed testing

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

2015

  1. A methodology for validating cloud models using metamorphic testing

    Annales des Telecommunications/Annals of Telecommunications, Vol. 70, Núm. 3-4, pp. 127-135

2014

  1. Estimating development effort in free/open source software projects by mining software repositories: A case study of OpenStack

    11th Working Conference on Mining Software Repositories, MSR 2014 - Proceedings

  2. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface

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

  3. Timed implementation relations for the distributed test architecture

    Distributed Computing, Vol. 27, Núm. 3, pp. 181-201

2013

  1. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface

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

  2. Passive testing with asynchronous communications

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

  3. Using genetic algorithms to generate test sequences for complex timed systems

    Soft Computing, Vol. 17, Núm. 2, pp. 301-315

2012

  1. Implementation relations and test generation for systems with distributed interfaces

    Distributed Computing, Vol. 25, Núm. 1, pp. 35-62

  2. Using schedulers to test probabilistic distributed systems

    Formal Aspects of Computing, Vol. 24, Núm. 4-6, pp. 679-699

  3. Using time to add order to distributed testing

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

2011

  1. A case study on the use of genetic algorithms to generate test cases for temporal systems

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