Publications dans lesquelles il/elle collabore avec Manuel Núñez García (19)

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. Preventing attacks by classifying user models in a collaborative scenario

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

2011

  1. Passive testing of web services

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

  2. Self-adaptive fuzzy-timed systems

    2011 IEEE Congress of Evolutionary Computation, CEC 2011

2010

  1. Formal passive testing of service-oriented systems

    Proceedings - 2010 IEEE 7th International Conference on Services Computing, SCC 2010

  2. From data mining to user models in evolutionary databases

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

2009

  1. A hierarchical methodology to specify and simulate complex computational systems

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

  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. Combining genetic algorithms and mutation testing to generate test sequences

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

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

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

  6. Passive testing of stochastic timed systems

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

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

    Proceedings - International Conference on Quality Software

  8. 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. A formal methodology to specify hierarchical agent-based systems

    SITIS 2008 - Proceedings of the 4th International Conference on Signal Image Technology and Internet Based Systems

  2. ACABARASE: An anti-spam case-based reasoning system

    3rd International Conference on Systems, ICONS 2008

  3. Formal development of a complex information system

    3rd International Conference on Systems, ICONS 2008

  4. Passive testing of timed systems

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

  5. Using formal methods to develop a complex information system: A practical/theoretical experience

    Proceedings of the ACM Symposium on Applied Computing