Search

Your search keyword '"Merayo, Mercedes G."' showing total 299 results

Search Constraints

Start Over You searched for: Author "Merayo, Mercedes G." Remove constraint Author: "Merayo, Mercedes G."
299 results on '"Merayo, Mercedes G."'

Search Results

1. Testing the Robustness of Machine Learning Models Through Mutations

3. Implementation Relations for Distributed Testing

5. An Implementation of Formal Framework for Collective Systems in Air Pollution Prediction System

6. Mutation Testing for RoboChart

9. Seed Model Synthesis for Testing Model-Based Mutation Operators

10. Mutation Operators for Google Query Language

11. A Trading Framework Based on Fuzzy Moore Machines

13. Conformance Relations for Fuzzy Automata

14. Using Genetic Algorithms to Generate Test Suites for FSMs

16. Intelligent Collectives: Impact of Diversity on Susceptibility to Consensus and Collective Performance

17. An Improved and Tool-Supported Fuzzy Automata Framework to Analyze Heart Data

18. Mutation Testing for RoboChart

22. Intelligent Collective: The Role of Diversity and Collective Cardinality

23. Using Evolutionary Computation to Improve Mutation Testing

24. Using Ants to Fight Wildfire

29. Controllability Through Nondeterminism in Distributed Testing

36. Passive Testing with Asynchronous Communications

37. MAScloud: A Framework Based on Multi-Agent Systems for Optimizing Cost in Cloud Computing

38. Using Time to Add Order to Distributed Testing

39. A Case Study on the Use of Genetic Algorithms to Generate Test Cases for Temporal Systems

40. MACRO-SYS: An Interactive Macroeconomics Simulator for Advanced Learning

41. A Statistical Approach to Test Stochastic and Probabilistic Systems

42. Aiding Test Case Generation in Temporally Constrained State Based Systems Using Genetic Algorithms

43. Implementation Relations for the Distributed Test Architecture

44. [Untitled]

45. Passive Testing of Timed Systems

46. Controllable Test Cases for the Distributed Test Architecture

50. Formal Specification of Multi-agent Systems by Using EUSMs

Catalog

Books, media, physical & digital resources