Publications by the researcher in collaboration with Mercedes Garcia Merayo (14)

2012

  1. Formal passive testing of timed systems: Theory and tools

    Software Testing Verification and Reliability, Vol. 22, Núm. 6, pp. 365-405

  2. MAScloud: A framework based on multi-agent systems for optimizing cost in cloud computing

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

  3. Optimizing the trade-offs between cost and performance in Scientific Computing

    Procedia Computer Science

2010

  1. MACRO-SYS: An interactive macroeconomics simulator for advanced learning

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

  2. Multi-objective genetic algorithms: Construction and recombination of passive testing properties

    SEKE 2010 - Proceedings of the 22nd International Conference on Software Engineering and Knowledge Engineering

2009

  1. Advantages of mutation in passive testing: An empirical study

    IEEE International Conference on Software Testing, Verification, and Validation Workshops, ICSTW 2009

  2. Analysis of the OLSR protocol by using formal passive testing

    Proceedings - Asia-Pacific Software Engineering Conference, APSEC

  3. Applying formal passive testing to study temporal properties of the stream control transmission protocol

    SEFM 2009 - 7th IEEE International Conference on Software Engineering and Formal Methods

  4. Formal correctness of a passive testing approach for timed systems

    IEEE International Conference on Software Testing, Verification, and Validation Workshops, ICSTW 2009

  5. Passive testing of stochastic timed systems

    Proceedings - 2nd International Conference on Software Testing, Verification, and Validation, ICST 2009

  6. Supporting the extraction of timed properties for passive testing by using probabilistic user models

    Proceedings - International Conference on Quality Software

  7. Using a mining frequency patterns model to automate passive testing of real-time systems

    Proceedings of the 21st International Conference on Software Engineering and Knowledge Engineering, SEKE 2009

2008

  1. Formal development of a complex information system

    3rd International Conference on Systems, ICONS 2008

  2. Passive testing of timed systems

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)