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

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

2014

  1. 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 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. Message from the QSIC 2011 programme committee chairs

    Proceedings - International Conference on Quality Software

  3. Scenarios-based testing of systems with distributed ports

    Software - Practice and Experience

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

2009

  1. Aiding test case generation in temporally constrained state based systems using genetic algorithms

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

  2. Mutation testing from probabilistic and stochastic finite state machines

    Journal of Systems and Software, Vol. 82, Núm. 11, pp. 1804-1818