Mercedes G. Merayo

According to our database1, Mercedes G. Merayo authored at least 91 papers between 2005 and 2020.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2020
Systematic Engineering of Mutation Operators.
J. Object Technol., 2020

Guest Editorial: Special Section on ICTSS.
Inf. Softw. Technol., 2020

An evolutionary technique for supporting the consensus process of group decision making.
Proceedings of the 2020 IEEE International Conference on Systems, Man, and Cybernetics, 2020

An evolutionary algorithm for selection of test cases.
Proceedings of the IEEE Congress on Evolutionary Computation, 2020

Seed Model Synthesis for Testing Model-Based Mutation Operators.
Proceedings of the Advanced Information Systems Engineering, 2020

Mutation Operators for Google Query Language.
Proceedings of the Intelligent Information and Database Systems - 12th Asian Conference, 2020

A Trading Framework Based on Fuzzy Moore Machines.
Proceedings of the Intelligent Information and Database Systems - 12th Asian Conference, 2020

2019
An overview on consensus-based approaches to processing collective inconsistency and knowledge integration.
Wiley Interdiscip. Rev. Data Min. Knowl. Discov., 2019

Toward evaluating the level of crowd wisdom using interval estimates.
J. Intell. Fuzzy Syst., 2019

A methodology to analyze heart data using fuzzy automata.
J. Intell. Fuzzy Syst., 2019

Mutation testing for DSLs (tool demo).
Proceedings of the 17th ACM SIGPLAN International Workshop on Domain-Specific Modeling, 2019

Conformance Relations for Fuzzy Automata.
Proceedings of the Advances in Computational Intelligence, 2019

Using Genetic Algorithms to Generate Test Suites for FSMs.
Proceedings of the Advances in Computational Intelligence, 2019

2018
Bounded Reordering in the Distributed Test Architecture.
IEEE Trans. Reliab., 2018

A tool for domain-independent model mutation.
Sci. Comput. Program., 2018

Mutomvo: Mutation testing framework for simulated cloud and HPC environments.
J. Syst. Softw., 2018

FORTIFIER: a FORmal disTrIbuted Framework to Improve the dEtection of thReatening objects in baggage.
J. Inf. Telecommun., 2018

A tool supported methodology to passively test asynchronous systems with multiple users.
Inf. Softw. Technol., 2018

Passive testing with asynchronous communications and timestamps.
Distributed Comput., 2018

A Comparative Study of Methods for Collective Prediction Determination Using Interval Estimates.
Proceedings of the 8th International Conference on Web Intelligence, Mining and Semantics, 2018

Intelligent Collectives: Impact of Diversity on Susceptibility to Consensus and Collective Performance.
Proceedings of the Computational Collective Intelligence - 10th International Conference, 2018

An Improved and Tool-Supported Fuzzy Automata Framework to Analyze Heart Data.
Proceedings of the Intelligent Information and Database Systems - 10th Asian Conference, 2018

2017
Introduction to the Software Engineering and Formal Methods 2013 special issue.
Softw. Syst. Model., 2017

Preface: Special issue on software verification and testing.
J. Syst. Softw., 2017

An extended framework for passive asynchronous testing.
J. Log. Algebraic Methods Program., 2017

LAnt: Model driven approach for ant colony optimization.
J. Intell. Fuzzy Syst., 2017

Collective intelligence and databases in eHealth: A survey.
J. Intell. Fuzzy Syst., 2017

Analysis of temporal complex events in sensor networks.
J. Inf. Telecommun., 2017

Intelligent collective: some issues with collective cardinality.
J. Inf. Telecommun., 2017

Heuristics for ROSA's LTS Searching.
Proceedings of the Advances in Computational Intelligence, 2017

Using Evolutionary Computation to Improve Mutation Testing.
Proceedings of the Advances in Computational Intelligence, 2017

Using Ants to Fight Wildfire.
Proceedings of the Advances in Computational Intelligence, 2017

Intelligent Collective: The Role of Diversity and Collective Cardinality.
Proceedings of the Computational Collective Intelligence - 9th International Conference, 2017

Using fuzzy automata to diagnose and predict heart problems.
Proceedings of the 2017 IEEE Congress on Evolutionary Computation, 2017

2016
Controllability Through Nondeterminism in Distributed Testing.
Proceedings of the Testing Software and Systems, 2016

EMINENT: EMbarrassINgly parallEl mutatioN Testing.
Proceedings of the International Conference on Computational Science 2016, 2016

FARTHEST: FormAl distRibuTed scHema to dEtect Suspicious arTefacts.
Proceedings of the Intelligent Information and Database Systems - 8th Asian Conference, 2016

2015
Introduction to the special issue on Mutation Testing.
Softw. Test. Verification Reliab., 2015

Passive testing of communicating systems with timeouts.
Inf. Softw. Technol., 2015

2014
A formal framework to analyze cost and performance in Map-Reduce based applications.
J. Comput. Sci., 2014

Timed implementation relations for the distributed test architecture.
Distributed Comput., 2014

PTTAC: Passive Testing Tool for Asynchronous Systems.
Proceedings of the Tenth International Conference on Signal-Image Technology and Internet-Based Systems, 2014

2013
Using genetic algorithms to generate test sequences for complex timed systems.
Soft Comput., 2013

Guest Editorial: Special Section from the 11th International Conference on Quality Software (QSIC 2011).
Inf. Softw. Technol., 2013

SANComSim: A Scalable, Adaptive and Non-intrusive Framework to Optimize Performance in Computational Science Applications.
Proceedings of the International Conference on Computational Science, 2013

Passive Testing with Asynchronous Communications.
Proceedings of the Formal Techniques for Distributed Systems, 2013

2012
A formal framework to test soft and hard deadlines in timed systems.
Softw. Test. Verification Reliab., 2012

Formal passive testing of timed systems: theory and tools.
Softw. Test. Verification Reliab., 2012

Optimizing the Trade-offs Between Cost and Performance in Scientific Computing.
Proceedings of the International Conference on Computational Science, 2012

Implementation relations and test generation for systems with distributed interfaces.
Distributed Comput., 2012

Passive Testing of Timed Systems with Timeouts.
Proceedings of the 2012 12th International Conference on Quality Software, 2012

MAScloud: A Framework Based on Multi-Agent Systems for Optimizing Cost in Cloud Computing.
Proceedings of the Computational Collective Intelligence. Technologies and Applications, 2012

Using Time to Add Order to Distributed Testing.
Proceedings of the FM 2012: Formal Methods, 2012

2011
Scenarios-based testing of systems with distributed ports.
Softw. Pract. Exp., 2011

Testing timed systems modeled by Stream X-machines.
Softw. Syst. Model., 2011

A Case Study on the Use of Genetic Algorithms to Generate Test Cases for Temporal Systems.
Proceedings of the Advances in Computational Intelligence, 2011

2010
Mutation Testing.
Proceedings of the Encyclopedia of Software Engineering, 2010

Multi-objective Genetic Algorithms: Construction and Recombination of Passive Testing Properties.
Proceedings of the 22nd International Conference on Software Engineering & Knowledge Engineering (SEKE'2010), Redwood City, San Francisco Bay, CA, USA, July 1, 2010

MACRO-SYS: An Interactive Macroeconomics Simulator for Advanced Learning.
Proceedings of the Intelligent Information and Database Systems, 2010

2009
Mutation testing from probabilistic and stochastic finite state machines.
J. Syst. Softw., 2009

Testing from a stochastic timed system with a fault model.
J. Log. Algebraic Methods Program., 2009

A brief history of A-MOST Special Issue containing selected papers from A-MOST 2008.
J. Log. Algebraic Methods Program., 2009

Using a Mining Frequency Patterns Model to Automate Passive Testing of Real-time Systems.
Proceedings of the 21st International Conference on Software Engineering & Knowledge Engineering (SEKE'2009), 2009

Applying Formal Passive Testing to Study Temporal Properties of the Stream Control Transmission Protocol.
Proceedings of the Seventh IEEE International Conference on Software Engineering and Formal Methods, 2009

Supporting the Extraction of Timed Properties for Passive Testing by Using Probabilistic User Models.
Proceedings of the Ninth International Conference on Quality Software, 2009

Aiding Test Case Generation in Temporally Constrained State Based Systems Using Genetic Algorithms.
Proceedings of the Bio-Inspired Systems: Computational and Ambient Intelligence, 2009

Formal Correctness of a Passive Testing Approach for Timed Systems.
Proceedings of the Second International Conference on Software Testing Verification and Validation, 2009

Passive Testing of Stochastic Timed Systems.
Proceedings of the Second International Conference on Software Testing Verification and Validation, 2009

Advantages of Mutation in Passive Testing: An Empirical Study.
Proceedings of the Second International Conference on Software Testing Verification and Validation, 2009

A Statistical Approach to Test Stochastic and Probabilistic Systems.
Proceedings of the Formal Methods and Software Engineering, 2009

Analysis of the OLSR Protocol by Using Formal Passive Testing.
Proceedings of the 16th Asia-Pacific Software Engineering Conference, 2009

2008
Extending EFSMs to Specify and Test Timed Systems with Action Durations and Time-Outs.
IEEE Trans. Computers, 2008

HOTL: Hypotheses and observations testing logic.
J. Log. Algebraic Methods Program., 2008

Formal testing from timed finite state machines.
Comput. Networks, 2008

Extending Stream X-Machines to Specify and Test Systems with Timeouts.
Proceedings of the Sixth IEEE International Conference on Software Engineering and Formal Methods, 2008

THOTL: A Timed Extension of HOTL.
Proceedings of the Testing of Software and Communicating Systems, 2008

Implementation Relations for the Distributed Test Architecture.
Proceedings of the Testing of Software and Communicating Systems, 2008

Derivation of Tests from Timed Specifications According to Different Coverage Criteria.
Proceedings of the Third International Conference on Systems, 2008

Formal Development of a Complex Information System.
Proceedings of the Third International Conference on Systems, 2008

Controllable Test Cases for the Distributed Test Architecture.
Proceedings of the Automated Technology for Verification and Analysis, 2008

Passive Testing of Timed Systems.
Proceedings of the Automated Technology for Verification and Analysis, 2008

2007
Generation of optimal finite test suites for timed systems.
Proceedings of the First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering, 2007

Testing conformance on Stochastic Stream X-Machines.
Proceedings of the Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007), 2007

Formal Specification of Multi-agent Systems by Using EUSMs.
Proceedings of the International Symposium on Fundamentals of Software Engineering, 2007

Formal Testing of Systems Presenting Soft and Hard Deadlines.
Proceedings of the International Symposium on Fundamentals of Software Engineering, 2007

Testing Finite State Machines Presenting Stochastic Time and Timeouts.
Proceedings of the Formal Methods and Stochastic Models for Performance Evaluation, 2007

A Brief Introduction to <i>THOTL</i>.
Proceedings of the Automated Technology for Verification and Analysis, 2007

2006
A Logic for Assessing Sets of Heterogeneous Testing Hypotheses.
Proceedings of the Testing of Communicating Systems, 2006

Extending EFSMs to Specify and Test Timed Systems with Action Durations and Timeouts.
Proceedings of the Formal Techniques for Networked and Distributed Systems, 2006

Implementation Relations for Stochastic Finite State Machines.
Proceedings of the Formal Methods and Stochastic Models for Performance Evaluation, 2006

2005
How does the memory work? By timed-arc Petri nets.
Proceedings of the 4th IEEE International Conference on Cognitive Informatics (ICCI 2005), 2005


  Loading...