Cesar Andrés Sánchez-rekin lankidetzan egindako argitalpenak (30)

2013

  1. A formal framework for software product lines

    Information and Software Technology, Vol. 55, Núm. 11, pp. 1925-1947

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

  4. 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. Compression strategies for passive testing

    Proceedings - 4th IEEE International Conference on Software Testing, Verification, and Validation Workshops, ICSTW 2011

  2. Message from WS-FMDS 2011 programme committee chairs

    Proceedings - International Conference on Quality Software

  3. Passive testing of web services

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

  4. 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)

  3. 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)

  4. 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. 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. Advantages of mutation in passive testing: An empirical study

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

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

    Proceedings - Asia-Pacific Software Engineering Conference, APSEC

  4. 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

  5. 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)

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

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

  7. Formally transforming user-model testing problems into implementer-model testing problems and viceversa

    Journal of Logic and Algebraic Programming, Vol. 78, Núm. 6, pp. 425-453