Publicaciones en colaboración con investigadores/as de Brunel University London (26)

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

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

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)

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. Passive testing with asynchronous communications

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

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

  4. Scenarios-based testing of systems with distributed ports

    Software - Practice and Experience

  5. Testing timed systems modeled by Stream X-machines

    Software and Systems Modeling, Vol. 10, Núm. 2, pp. 201-217

2010

  1. Scenarios-based testing of systems with distributed ports

    Proceedings - International Conference on Quality Software

  2. Testing probabilistic distributed systems

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