Остановите войну!
for scientists:
default search action
Mercedes G. Merayo
- > Home > Persons > Mercedes G. Merayo
Publications
- 2023
- [c59]Robert M. Hierons, Mercedes G. Merayo, Manuel Núñez:
Implementation Relations for Distributed Testing. Applicable Formal Methods for Safe Industrial Products 2023: 34-48 - 2020
- [j35]Inmaculada Medina-Bulo, Mercedes G. Merayo, Robert M. Hierons:
Guest Editorial: Special Section on ICTSS. Inf. Softw. Technol. 118 (2020) - 2018
- [j30]Mercedes G. Merayo, Robert M. Hierons, Manuel Núñez:
Passive testing with asynchronous communications and timestamps. Distributed Comput. 31(5): 327-342 (2018) - [j29]Mercedes G. Merayo, Robert M. Hierons, Manuel Núñez:
A tool supported methodology to passively test asynchronous systems with multiple users. Inf. Softw. Technol. 104: 162-178 (2018) - [j25]Robert M. Hierons, Mercedes G. Merayo, Manuel Núñez:
Bounded Reordering in the Distributed Test Architecture. IEEE Trans. Reliab. 67(2): 522-537 (2018) - [e5]Inmaculada Medina-Bulo, Mercedes G. Merayo, Robert M. Hierons:
Testing Software and Systems - 30th IFIP WG 6.1 International Conference, ICTSS 2018, Cádiz, Spain, October 1-3, 2018, Proceedings. Lecture Notes in Computer Science 11146, Springer 2018, ISBN 978-3-319-99926-5 [contents] - 2017
- [j20]Robert M. Hierons, Mercedes G. Merayo, Manuel Núñez:
An extended framework for passive asynchronous testing. J. Log. Algebraic Methods Program. 86(1): 408-424 (2017) - [j18]Mario Bravetti, Robert M. Hierons, Mercedes G. Merayo:
Introduction to the Software Engineering and Formal Methods 2013 special issue. Softw. Syst. Model. 16(1): 5-6 (2017) - 2016
- [c38]Robert M. Hierons, Mercedes G. Merayo, Manuel Núñez:
Controllability Through Nondeterminism in Distributed Testing. ICTSS 2016: 89-105 - 2014
- [j15]Robert M. Hierons, Mercedes G. Merayo, Manuel Núñez:
Timed implementation relations for the distributed test architecture. Distributed Comput. 27(3): 181-201 (2014) - 2013
- [j13]Robert M. Hierons, Mercedes G. Merayo:
Guest Editorial: Special Section from the 11th International Conference on Quality Software (QSIC 2011). Inf. Softw. Technol. 55(5): 865 (2013) - [j12]Alberto Nuñez, Mercedes G. Merayo, Robert M. Hierons, Manuel Núñez:
Using genetic algorithms to generate test sequences for complex timed systems. Soft Comput. 17(2): 301-315 (2013) - [c36]Robert M. Hierons, Mercedes G. Merayo, Manuel Núñez:
Passive Testing with Asynchronous Communications. FMOODS/FORTE 2013: 99-113 - [e3]Robert M. Hierons, Mercedes G. Merayo, Mario Bravetti:
Software Engineering and Formal Methods - 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013. Proceedings. Lecture Notes in Computer Science 8137, Springer 2013, ISBN 978-3-642-40560-0 [contents] - 2012
- [j11]Robert M. Hierons, Mercedes G. Merayo, Manuel Núñez:
Implementation relations and test generation for systems with distributed interfaces. Distributed Comput. 25(1): 35-62 (2012) - [c34]Robert M. Hierons, Mercedes G. Merayo, Manuel Núñez:
Using Time to Add Order to Distributed Testing. FM 2012: 232-246 - 2011
- [j8]Mercedes G. Merayo, Manuel Núñez, Robert M. Hierons:
Testing timed systems modeled by Stream X-machines. Softw. Syst. Model. 10(2): 201-217 (2011) - [j7]Robert M. Hierons, Mercedes G. Merayo, Manuel Núñez:
Scenarios-based testing of systems with distributed ports. Softw. Pract. Exp. 41(10): 999-1026 (2011) - [c30]Karnig Derderian, Mercedes G. Merayo, Robert M. Hierons, Manuel Núñez:
A Case Study on the Use of Genetic Algorithms to Generate Test Cases for Temporal Systems. IWANN (2) 2011: 396-403 - [e2]Manuel Núñez, Robert M. Hierons, Mercedes G. Merayo:
Proceedings of the 11th International Conference on Quality Software, QSIC 2011, Madrid, Spain, July 13-14, 2011. IEEE Computer Society 2011 [contents] - 2010
- [c28]Robert M. Hierons, Mercedes G. Merayo, Manuel Núñez:
Scenarios-Based Testing of Systems with Distributed Ports. QSIC 2010: 52-61 - [r1]Robert M. Hierons, Mercedes G. Merayo, Manuel Núñez:
Mutation Testing. Encyclopedia of Software Engineering 2010: 594-602 - 2009
- [j6]Robert M. Hierons, Mercedes G. Merayo, Manuel Núñez:
Testing from a stochastic timed system with a fault model. J. Log. Algebraic Methods Program. 78(2): 98-115 (2009) - [j4]Robert M. Hierons, Mercedes G. Merayo:
Mutation testing from probabilistic and stochastic finite state machines. J. Syst. Softw. 82(11): 1804-1818 (2009) - [c21]Karnig Derderian, Mercedes G. Merayo, Robert M. Hierons, Manuel Núñez:
Aiding Test Case Generation in Temporally Constrained State Based Systems Using Genetic Algorithms. IWANN (1) 2009: 327-334 - 2008
- [c17]Robert M. Hierons, Mercedes G. Merayo, Manuel Núñez:
Controllable Test Cases for the Distributed Test Architecture. ATVA 2008: 201-215 - [c12]Robert M. Hierons, Mercedes G. Merayo, Manuel Núñez:
Implementation Relations for the Distributed Test Architecture. TestCom/FATES 2008: 200-215 - [c11]Mercedes G. Merayo, Robert M. Hierons, Manuel Núñez:
Extending Stream X-Machines to Specify and Test Systems with Timeouts. SEFM 2008: 201-210
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-21 17:45 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint