Publicacións en colaboración con investigadores/as de Brunel University London (33)

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

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

  2. Creating adaptive sequences with genetic algorithms to reach a certain state in a non-deterministic FSM

    IEEE SSCI 2011 - Symposium Series on Computational Intelligence - IEEE ALIFE 2011: 2011 IEEE Symposium on Artificial Life

  3. Experimental comparison of different techniques to generate adaptive sequences

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