Search Results - "Merayo, Mercedes"

Machine learning algorithms to forecast air quality: a survey by Méndez, Manuel, Merayo, Mercedes G., Núñez, Manuel

“…Air pollution is a risk factor for many diseases that can lead to death. Therefore, it is important to develop forecasting mechanisms that can be used by the…”
Get full text

Using Metamorphic Testing to Improve the Quality of Tags in OpenStreetMap by Almendros-Jimenez, Jesus M., Becerra-Teron, Antonio, Merayo, Mercedes G., Nunez, Manuel

“…We present a metamorphic testing approach to validate the information included in OpenStreetMap, a collaborative effort to produce a free map of the world. We…”
Get full text

MODELFY: A Model-driven Solution for Decision Making based on Fuzzy Information by Castañeda, María, G. Merayo, Mercedes, Boubeta-Puig, Juan, Calvo, Iván

“…There exist areas, such as the disease prevention or inclement weather protocols, in which the analysis of the information based on strict protocols require a…”
Get full text

Preface: Special issue on software verification and testing by Merayo, Mercedes G., Salaün, Gwen

“…Software is now everywhere and guiding every part of our daily life (Web applications, smartphones, video games, cars, information systems, etc.). Designing…”
Get full text

Wodel-Test: a model-based framework for language-independent mutation testing by Gómez-Abajo, Pablo, Guerra, Esther, Lara, Juan de, Merayo, Mercedes G.

“…Mutation testing (MT) targets the assessment of test cases by measuring their efficiency to detect faults. This technique involves modifying the program under…”
Get full text

CEViNEdit: improving the process of creating cognitively effective graphical editors with GMF by Granada, David, Vara, Juan M., Merayo, Mercedes, Marcos, Esperanza

“…The rise of domain-specific (Visual) languages and the inherent complexity of developing graphical editors for these languages have led to the emergence of…”
Get full text

Passive testing with asynchronous communications and timestamps by Merayo, Mercedes G., Hierons, Robert M., Núñez, M.

“…We develop a formal passive testing framework for software systems where parties communicate asynchronously. Monitors, placed in between the entities, check…”
Get full text

Passive testing of communicating systems with timeouts by Merayo, Mercedes G., Núñez, Alberto

“…The design of complex systems demands methodologies to analyze its correct behaviour. It is usual that a correct behaviour is determined by the compliance with…”
Get full text

An evolutionary technique for supporting the consensus process of group decision making by Benito-Parejo, Miguel, Merayo, Mercedes G., Nunez, Manuel

“…Discrepancies arise when experts have to decide the preference on alternatives for a problem. Henceforth, it is necessary to carry out a process during which…”
Get full text

Mutation testing from probabilistic and stochastic finite state machines by Hierons, Robert M., Merayo, Mercedes G.

“…Specification mutation involves mutating a specification, and for each mutation a test is derived that distinguishes the behaviours of the mutated and original…”
Get full text

Analysis of temporal complex events in sensor networks by Boubeta-Puig, Juan, Bravetti, Mario, Llana, Luis, Merayo, Mercedes G.

“…In this paper we introduce a framework for detecting anomalies in the clocks of the different components of a network of sensor stations connected with a…”
Get full text

Formal testing from timed finite state machines by Merayo, Mercedes G., Núñez, Manuel, Rodríguez, Ismael

“…In this paper we present a formal methodology to test both the functional and temporal behaviors in systems where temporal aspects are critical. We extend the…”
Get full text

An overview on consensus‐based approaches to processing collective inconsistency and knowledge integration by Nguyen, Van Du, Truong, Hai Bang, Merayo, Mercedes G., Nguyen, Ngoc Thanh

“…The possibility of connecting billions of people around the world through network is the main characteristic of cyber‐physical systems production. To date,…”
Get full text

Introduction to the Software Engineering and Formal Methods 2013 special issue by Bravetti, Mario, Hierons, Robert M., Merayo, Mercedes G.

Get full text

Timed implementation relations for the distributed test architecture by Hierons, Robert M., Merayo, Mercedes G., Núñez, Manuel

“…In order to test systems that have physically distributed interfaces, called ports, we might use a distributed approach in which there is a separate tester at…”
Get full text

Intelligent collective: some issues with collective cardinality by Nguyen, Van Du, Merayo, Mercedes G.

“…In general, a common approach to enhance the diversity, an important criterion of intelligent collectives, is to enlarge the collective cardinality. The…”
Get full text

Implementation relations and test generation for systems with distributed interfaces by Hierons, Robert M., Merayo, Mercedes G., Núñez, Manuel

“…Some systems interact with their environment at physically distributed interfaces called ports and we separately observe sequences of inputs and outputs at…”
Get full text

Using genetic algorithms to generate test sequences for complex timed systems by Núñez, Alberto, Merayo, Mercedes G., Hierons, Robert M., Núñez, Manuel

“…The generation of test data for state-based specifications is a computationally expensive process. This problem is magnified if we consider that time…”
Get full text

Extending EFSMs to Specify and Test Timed Systems with Action Durations and Time-Outs by Merayo, Mercedes, Núñez, Manuel, Rodríguez, Ismael

“…In this paper, we introduce a timed extension of the extended finite state machines model. On one hand, we consider that (output) actions take time to be…”
Get full text

FORTIFIER: a FORmal disTrIbuted Framework to Improve the dEtection of thReatening objects in baggage by Cañizares, Pablo C., Merayo, Mercedes G., Núñez, Alberto

“…Currently, security breaches in public places like airports and official buildings are a major concern by both governmental and corporative organizations. In…”
Get full text