Publicaciones en las que colabora con PURIFICACIÓN ARENAS SÁNCHEZ (17)

2018

  1. Systematic testing of actor systems

    Software Testing Verification and Reliability, Vol. 28, Núm. 3

2017

  1. Context-sensitive dynamic partial order reduction

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

2016

  1. Testing of concurrent and imperative software using CLP

    Proceedings of the 18th International Symposium on Principles and Practice of Declarative Programming, PPDP 2016

2015

  1. Object-sensitive cost analysis for concurrent objects

    Software Testing Verification and Reliability, Vol. 25, Núm. 3, pp. 218-271

  2. Resource analysis: From sequential to concurrent and distributed programs

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

  3. Test case generation of actor systems

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

2014

  1. Actor- and task-selection strategies for pruning redundant state-exploration in testing

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

  2. SACO: Static analyzer for concurrent objects

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

  3. Test case generation by symbolic execution: Basic concepts, a CLP-based instance, and actor-based concurrency

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

2013

  1. APET: A test case generation tool for concurrent objects

    2013 9th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, ESEC/FSE 2013 - Proceedings

  2. Automatic inference of bounds on resource consumption

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

2012

  1. Automatic inference of resource consumption bounds

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

  2. COSTABS: A cost and termination analyzer for ABS

    Conference Record of the Annual ACM Symposium on Principles of Programming Languages

  3. Symbolic execution of concurrent objects in CLP

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

  4. Towards testing concurrent objects in CLP

    Leibniz International Proceedings in Informatics, LIPIcs

2011

  1. Cost analysis of concurrent OO programs

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

2009

  1. Termination and Cost Analysis with COSTA and its User Interfaces

    Electronic Notes in Theoretical Computer Science, Vol. 258, Núm. 1, pp. 109-121