MARÍA DE LAS MERCEDES
GARCÍA MERAYO
Catedrática de universidad
Brunel University London
Uxbridge, Reino UnidoPublicaciones en colaboración con investigadores/as de Brunel University London (25)
2018
-
A tool supported methodology to passively test asynchronous systems with multiple users
Information and Software Technology, Vol. 104, pp. 162-178
-
Bounded Reordering in the Distributed Test Architecture
IEEE Transactions on Reliability, Vol. 67, Núm. 2, pp. 522-537
-
Passive testing with asynchronous communications and timestamps
Distributed Computing, Vol. 31, Núm. 5, pp. 327-342
-
Preface
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2017
-
An extended framework for passive asynchronous testing
Journal of Logical and Algebraic Methods in Programming, Vol. 86, Núm. 1, pp. 408-424
-
Introduction to the Software Engineering and Formal Methods 2013 special issue
Software and Systems Modeling
2016
-
Controllability through nondeterminism in distributed testing
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2014
-
Timed implementation relations for the distributed test architecture
Distributed Computing, Vol. 27, Núm. 3, pp. 181-201
2013
-
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)
-
Passive testing with asynchronous communications
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
Using genetic algorithms to generate test sequences for complex timed systems
Soft Computing, Vol. 17, Núm. 2, pp. 301-315
2012
-
Implementation relations and test generation for systems with distributed interfaces
Distributed Computing, Vol. 25, Núm. 1, pp. 35-62
-
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
-
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)
-
Message from the QSIC 2011 programme committee chairs
Proceedings - International Conference on Quality Software
-
Scenarios-based testing of systems with distributed ports
Software - Practice and Experience
-
Testing timed systems modeled by Stream X-machines
Software and Systems Modeling, Vol. 10, Núm. 2, pp. 201-217
2010
-
Scenarios-based testing of systems with distributed ports
Proceedings - International Conference on Quality Software
2009
-
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)
-
Mutation testing from probabilistic and stochastic finite state machines
Journal of Systems and Software, Vol. 82, Núm. 11, pp. 1804-1818