default search action
Mercedes G. Merayo
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
- [c61]Miguel Benito-Parejo
, Manuel Méndez
An Evolutionary Algorithm and a Clustering Technique to Select Good Subsets of Test for Finite State Machines. ICCCI (CCIS Volume 2) 2024: 168-182 - [c60]Manuel Méndez
Testing the Robustness of Machine Learning Models Through Mutations. ICCCI (CCIS Volume 1) 2024: 308-320 - 2023
- [j42]Manuel Méndez, Mercedes G. Merayo, Manuel Núñez
Machine learning algorithms to forecast air quality: a survey. Artif. Intell. Rev. 56(9): 10031-10066 (2023) - [j41]Manuel Méndez, Mercedes G. Merayo
Long-term traffic flow forecasting using a hybrid CNN-BiLSTM model. Eng. Appl. Artif. Intell. 121: 106041 (2023) - [j40]Jesús Manuel Almendros-Jiménez
Using Metamorphic Testing to Improve the Quality of Tags in OpenStreetMap. IEEE Trans. Software Eng. 49(2): 549-563 (2023) - [c59]Robert M. Hierons
Implementation Relations for Distributed Testing. Applicable Formal Methods for Safe Industrial Products 2023: 34-48 - 2022
- [j39]María Castañeda, Mercedes G. Merayo
MODELFY: A Model-driven Solution for Decision Making based on Fuzzy Information. J. Univers. Comput. Sci. 28(5): 445-474 (2022) - 2021
- [j38]Jesús Manuel Almendros-Jiménez
Metamorphic testing of OpenStreetMap. Inf. Softw. Technol. 138: 106631 (2021) - [j37]Pablo Gómez-Abajo
Wodel-Test: a model-based framework for language-independent mutation testing. Softw. Syst. Model. 20(3): 767-793 (2021) - [j36]David Granada
CEViNEdit: improving the process of creating cognitively effective graphical editors with GMF. Softw. Syst. Model. 20(3): 867-895 (2021) - [c58]Miguel Benito-Parejo
Using Genetic Algorithms To Select Test Cases For Finite State Machines With Timeouts. CEC 2021: 2403-2410 - [c57]Rafal Palak
An Implementation of Formal Framework for Collective Systems in Air Pollution Prediction System. ICCCI 2021: 508-520 - 2020
- [j35]Inmaculada Medina-Bulo, Mercedes G. Merayo, Robert M. Hierons
Guest Editorial: Special Section on ICTSS. Inf. Softw. Technol. 118 (2020) - [j34]Pablo Gómez-Abajo
Systematic Engineering of Mutation Operators. J. Object Technol. 19(3): 3:1-16 (2020) - [c56]Iván Calvo, Mercedes G. Merayo
A Trading Framework Based on Fuzzy Moore Machines. ACIIDS (1) 2020: 123-134 - [c55]Lorena Gutiérrez-Madroñal
Mutation Operators for Google Query Language. ACIIDS (Companion) 2020: 354-365 - [c54]Pablo Gómez-Abajo
Seed Model Synthesis for Testing Model-Based Mutation Operators. CAiSE Forum 2020: 64-76 - [c53]Miguel Benito-Parejo
An evolutionary algorithm for selection of test cases. CEC 2020: 1-8 - [c52]Miguel Benito-Parejo
An evolutionary technique for supporting the consensus process of group decision making. SMC 2020: 2201-2206
2010 – 2019
- 2019
- [j33]Van Du Nguyen, Hai Bang Truong
Toward evaluating the level of crowd wisdom using interval estimates. J. Intell. Fuzzy Syst. 37(6): 7279-7289 (2019) - [j32]Iván Calvo, Mercedes G. Merayo, Manuel Núñez
A methodology to analyze heart data using fuzzy automata. J. Intell. Fuzzy Syst. 37(6): 7389-7399 (2019) - [j31]Van Du Nguyen, Hai Bang Truong
An overview on consensus-based approaches to processing collective inconsistency and knowledge integration. WIREs Data Mining Knowl. Discov. 9(4) (2019) - [c51]Miguel Benito-Parejo
Using Genetic Algorithms to Generate Test Suites for FSMs. IWANN (1) 2019: 741-752 - [c50]Iván Calvo, Mercedes G. Merayo
Conformance Relations for Fuzzy Automata. IWANN (1) 2019: 753-765 - [c49]Pablo Gómez-Abajo
Mutation testing for DSLs (tool demo). DSM@SPLASH 2019: 60-62 - 2018
- [j30]Mercedes G. Merayo, Robert M. Hierons
Passive testing with asynchronous communications and timestamps. Distributed Comput. 31(5): 327-342 (2018) - [j29]Mercedes G. Merayo
A tool supported methodology to passively test asynchronous systems with multiple users. Inf. Softw. Technol. 104: 162-178 (2018) - [j28]Pablo C. Cañizares
FORTIFIER: a FORmal disTrIbuted Framework to Improve the dEtection of thReatening objects in baggage. J. Inf. Telecommun. 2(1): 2-18 (2018) - [j27]Pablo C. Cañizares
Mutomvo: Mutation testing framework for simulated cloud and HPC environments. J. Syst. Softw. 143: 187-207 (2018) - [j26]Pablo Gómez-Abajo
A tool for domain-independent model mutation. Sci. Comput. Program. 163: 85-92 (2018) - [j25]Robert M. Hierons
Bounded Reordering in the Distributed Test Architecture. IEEE Trans. Reliab. 67(2): 522-537 (2018) - [c48]Iván Calvo, Mercedes G. Merayo, Manuel Núñez
An Improved and Tool-Supported Fuzzy Automata Framework to Analyze Heart Data. ACIIDS (1) 2018: 694-704 - [c47]Van Du Nguyen, Hai Bang Truong
Intelligent Collectives: Impact of Diversity on Susceptibility to Consensus and Collective Performance. ICCCI (1) 2018: 13-22 - [c46]Van Du Nguyen, Hai Bang Truong
A Comparative Study of Methods for Collective Prediction Determination Using Interval Estimates. WIMS 2018: 2:1-2:6 - [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
- [j24]Van Du Nguyen, Mercedes G. Merayo
Intelligent collective: some issues with collective cardinality. J. Inf. Telecommun. 1(2): 127-140 (2017) - [j23]Juan Boubeta-Puig
Analysis of temporal complex events in sensor networks. J. Inf. Telecommun. 1(3): 273-289 (2017) - [j22]Pablo C. Cañizares
LAnt: Model driven approach for ant colony optimization. J. Intell. Fuzzy Syst. 32(2): 1343-1354 (2017) - [j21]Azahara Camacho, Mercedes G. Merayo, Manuel Núñez
Collective intelligence and databases in eHealth: A survey. J. Intell. Fuzzy Syst. 32(2): 1485-1496 (2017) - [j20]Robert M. Hierons
An extended framework for passive asynchronous testing. J. Log. Algebraic Methods Program. 86(1): 408-424 (2017) - [j19]Mercedes G. Merayo, Gwen Salaün:
Preface: Special issue on software verification and testing. J. Syst. Softw. 132: 317-318 (2017) - [j18]Mario Bravetti, Robert M. Hierons
Introduction to the Software Engineering and Formal Methods 2013 special issue. Softw. Syst. Model. 16(1): 5-6 (2017) - [c45]Azahara Camacho, Mercedes G. Merayo, Manuel Núñez
Using fuzzy automata to diagnose and predict heart problems. CEC 2017: 846-853 - [c44]Van Du Nguyen, Mercedes G. Merayo, Ngoc Thanh Nguyen
Intelligent Collective: The Role of Diversity and Collective Cardinality. ICCCI (1) 2017: 83-92 - [c43]Pablo C. Cañizares
Using Ants to Fight Wildfire. IWANN (2) 2017: 371-380 - [c42]Pedro Delgado-Pérez
Using Evolutionary Computation to Improve Mutation Testing. IWANN (2) 2017: 381-391 - [c41]Fernando López Pelayo
Heuristics for ROSA's LTS Searching. IWANN (2) 2017: 427-437 - 2016
- [c40]Pablo C. Cañizares
FARTHEST: FormAl distRibuTed scHema to dEtect Suspicious arTefacts. ACIIDS (1) 2016: 770-779 - [c39]Pablo C. Cañizares
EMINENT: EMbarrassINgly parallEl mutatioN Testing. ICCS 2016: 63-73 - [c38]Robert M. Hierons
Controllability Through Nondeterminism in Distributed Testing. ICTSS 2016: 89-105 - 2015
- [j17]Mercedes G. Merayo, Alberto Núñez
Passive testing of communicating systems with timeouts. Inf. Softw. Technol. 64: 19-35 (2015) - [j16]Yue Jia, Mercedes G. Merayo, Mark Harman
Introduction to the special issue on Mutation Testing. Softw. Test. Verification Reliab. 25(5-7): 461-463 (2015) - 2014
- [j15]Robert M. Hierons
Timed implementation relations for the distributed test architecture. Distributed Comput. 27(3): 181-201 (2014) - [j14]Alberto Nuñez
A formal framework to analyze cost and performance in Map-Reduce based applications. J. Comput. Sci. 5(2): 106-118 (2014) - [c37]Maria Azahara Camacho-Magrinan, Mercedes G. Merayo, Inmaculada Medina-Bulo
PTTAC: Passive Testing Tool for Asynchronous Systems. SITIS 2014: 223-229 - [e4]Mercedes G. Merayo, Edgardo Montes de Oca:
Testing Software and Systems - 26th IFIP WG 6.1 International Conference, ICTSS 2014, Madrid, Spain, September 23-25, 2014. Proceedings. Lecture Notes in Computer Science 8763, Springer 2014, ISBN 978-3-662-44856-4 [contents] - 2013
- [j13]Robert M. Hierons
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
Using genetic algorithms to generate test sequences for complex timed systems. Soft Comput. 17(2): 301-315 (2013) - [c36]Robert M. Hierons
Passive Testing with Asynchronous Communications. FMOODS/FORTE 2013: 99-113 - [c35]Alberto Nuñez
SANComSim: A Scalable, Adaptive and Non-intrusive Framework to Optimize Performance in Computational Science Applications. ICCS 2013: 230-239 - [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
Implementation relations and test generation for systems with distributed interfaces. Distributed Comput. 25(1): 35-62 (2012) - [j10]César Andrés, Mercedes G. Merayo, Manuel Núñez
Formal passive testing of timed systems: theory and tools. Softw. Test. Verification Reliab. 22(6): 365-405 (2012) - [j9]Mercedes G. Merayo, Manuel Núñez
A formal framework to test soft and hard deadlines in timed systems. Softw. Test. Verification Reliab. 22(8): 583-608 (2012) - [c34]Robert M. Hierons
Using Time to Add Order to Distributed Testing. FM 2012: 232-246 - [c33]Alberto Nuñez
MAScloud: A Framework Based on Multi-Agent Systems for Optimizing Cost in Cloud Computing. ICCCI (1) 2012: 436-445 - [c32]Mercedes G. Merayo:
Passive Testing of Timed Systems with Timeouts. QSIC 2012: 69-78 - [c31]Alberto Nuñez
Optimizing the Trade-offs Between Cost and Performance in Scientific Computing. ICCS 2012: 498-507 - 2011
- [j8]Mercedes G. Merayo, Manuel Núñez
Testing timed systems modeled by Stream X-machines. Softw. Syst. Model. 10(2): 201-217 (2011) - [j7]Robert M. Hierons
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
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
- [c29]César Andrés, Mercedes G. Merayo, Yaofeng Zhang:
MACRO-SYS: An Interactive Macroeconomics Simulator for Advanced Learning. ACIIDS (2) 2010: 47-56 - [c28]Robert M. Hierons
Scenarios-Based Testing of Systems with Distributed Ports. QSIC 2010: 52-61 - [c27]César Andrés, Mercedes G. Merayo, Manuel Núñez:
Multi-objective Genetic Algorithms: Construction and Recombination of Passive Testing Properties. SEKE 2010: 405-410 - [r1]Robert M. Hierons, Mercedes G. Merayo, Manuel Núñez:
Mutation Testing. Encyclopedia of Software Engineering 2010: 594-602
2000 – 2009
- 2009
- [j6]Robert M. Hierons
Testing from a stochastic timed system with a fault model. J. Log. Algebraic Methods Program. 78(2): 98-115 (2009) - [j5]Lars Frantzen, Mercedes G. Merayo, Manuel Núñez
A brief history of A-MOST Special Issue containing selected papers from A-MOST 2008. J. Log. Algebraic Methods Program. 78(6): 417-424 (2009) - [j4]Robert M. Hierons
Mutation testing from probabilistic and stochastic finite state machines. J. Syst. Softw. 82(11): 1804-1818 (2009) - [c26]César Andrés, Stéphane Maag, Ana R. Cavalli, Mercedes G. Merayo, Manuel Núñez
Analysis of the OLSR Protocol by Using Formal Passive Testing. APSEC 2009: 152-159 - [c25]Mercedes G. Merayo, Iksoon Hwang, Manuel Núñez
A Statistical Approach to Test Stochastic and Probabilistic Systems. ICFEM 2009: 186-205 - [c24]César Andrés, Mercedes G. Merayo, Manuel Núñez
Formal Correctness of a Passive Testing Approach for Timed Systems. ICST Workshops 2009: 67-76 - [c23]César Andrés, Mercedes G. Merayo, Manuel Núñez
Passive Testing of Stochastic Timed Systems. ICST 2009: 71-80 - [c22]César Andrés, Mercedes G. Merayo, Carlos Molinero:
Advantages of Mutation in Passive Testing: An Empirical Study. ICST Workshops 2009: 230-239 - [c21]Karnig Derderian, Mercedes G. Merayo, Robert M. Hierons
Aiding Test Case Generation in Temporally Constrained State Based Systems Using Genetic Algorithms. IWANN (1) 2009: 327-334 - [c20]César Andrés, Mercedes G. Merayo, Manuel Núñez
Supporting the Extraction of Timed Properties for Passive Testing by Using Probabilistic User Models. QSIC 2009: 145-154 - [c19]César Andrés, Mercedes G. Merayo, Manuel Núñez
Applying Formal Passive Testing to Study Temporal Properties of the Stream Control Transmission Protocol. SEFM 2009: 73-82 - [c18]César Andrés, Mercedes G. Merayo, Manuel Núñez:
Using a Mining Frequency Patterns Model to Automate Passive Testing of Real-time Systems. SEKE 2009: 426-431 - [e1]Manuel Núñez, Paul Baker, Mercedes G. Merayo:
Testing of Software and Communication Systems, 21st IFIP WG 6.1 International Conference, TESTCOM 2009 and 9th International Workshop, FATES 2009, Eindhoven, The Netherlands, November 2-4, 2009. Proceedings. Lecture Notes in Computer Science 5826, Springer 2009, ISBN 978-3-642-05030-5 [contents] - 2008
- [j3]Mercedes G. Merayo, Manuel Núñez
Formal testing from timed finite state machines. Comput. Networks 52(2): 432-460 (2008) - [j2]Ismael Rodríguez
HOTL: Hypotheses and observations testing logic. J. Log. Algebraic Methods Program. 74(2): 57-93 (2008) - [j1]Mercedes G. Merayo, Manuel Núñez
Extending EFSMs to Specify and Test Timed Systems with Action Durations and Time-Outs. IEEE Trans. Computers 57(6): 835-844 (2008) - [c17]Robert M. Hierons
Controllable Test Cases for the Distributed Test Architecture. ATVA 2008: 201-215 - [c16]César Andrés, Mercedes G. Merayo, Manuel Núñez:
Passive Testing of Timed Systems. ATVA 2008: 418-427 - [c15]Mercedes G. Merayo, Manuel Núñez
Derivation of Tests from Timed Specifications According to Different Coverage Criteria. ICONS 2008: 97-102 - [c14]César Andrés, Mercedes G. Merayo, Manuel Núñez
Formal Development of a Complex Information System. ICONS 2008: 118-123 - [c13]Mercedes G. Merayo, Manuel Núñez
THOTL: A Timed Extension of HOTL. TestCom/FATES 2008: 86-102 - [c12]Robert M. Hierons
Implementation Relations for the Distributed Test Architecture. TestCom/FATES 2008: 200-215 - [c11]Mercedes G. Merayo, Robert M. Hierons
Extending Stream X-Machines to Specify and Test Systems with Timeouts. SEFM 2008: 201-210 - 2007
- [c10]Mercedes G. Merayo, Manuel Núñez, Ismael Rodríguez:
A Brief Introduction to THOTL. ATVA 2007: 501-510 - [c9]Mercedes G. Merayo, Manuel Núñez
Testing Finite State Machines Presenting Stochastic Time and Timeouts. EPEW 2007: 97-111 - [c8]Mercedes G. Merayo, Manuel Núñez
Formal Testing of Systems Presenting Soft and Hard Deadlines. FSEN 2007: 160-174 - [c7]Mercedes G. Merayo, Manuel Núñez
Formal Specification of Multi-agent Systems by Using EUSMs. FSEN 2007: 318-333 - [c6]Mercedes G. Merayo, Manuel Núñez
Testing conformance on Stochastic Stream X-Machines. SEFM 2007: 227-236 - [c5]Mercedes G. Merayo, Manuel Núñez
Generation of optimal finite test suites for timed systems. TASE 2007: 149-158 - 2006
- [c4]Mercedes G. Merayo, Manuel Núñez
Implementation Relations for Stochastic Finite State Machines. EPEW 2006: 123-137 - [c3]Mercedes G. Merayo, Manuel Núñez
Extending EFSMs to Specify and Test Timed Systems with Action Durations and Timeouts. FORTE 2006: 372-387 - [c2]Ismael Rodríguez, Mercedes G. Merayo, Manuel Núñez
A Logic for Assessing Sets of Heterogeneous Testing Hypotheses. TestCom 2006: 39-54 - 2005
- [c1]Fernando L. Pelayo
How does the memory work? By timed-arc Petri nets. IEEE ICCI 2005: 128-135
Coauthor Index
[j42] [j41] [j40] [c59] [j38] [c56] [c52] [j32] [c51] [c50] [j30] [j29] [j25] [c48] [j21] [j20] [c45] [c38] [j15] [j12] [c36] [j11] [j10] [j9] [c34] [j8] [j7] [c30] [e2] [c28] [c27] [r1] [j6] [j5] [c26] [c25] [c24] [c23] [c21] [c20] [c19] [c18] [e1] [j3] [j2] [j1] [c17] [c16] [c15] [c14] [c13] [c12] [c11] [c10] [c9] [c8] [c7] [c6] [c5] [c4] [c3] [c2]
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-11-07 21:33 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: