Publicacions en què col·labora amb PURIFICACIÓN ARENAS SÁNCHEZ (38)

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. A practical comparator of cost functions and its applications

    Science of Computer Programming, Vol. 111, Núm. P3, pp. 483-504

  2. Object-sensitive cost analysis for concurrent objects

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

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

  4. 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. Conditional termination of loops over heap-allocated data

    Science of Computer Programming, Vol. 92, Núm. PART A, pp. 2-24

  3. SACO: Static analyzer for concurrent objects

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

  4. 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. Certificate size reduction in abstraction-carrying code

    Theory and Practice of Logic Programming, Vol. 12, Núm. 3, pp. 283-318

  4. Cost analysis of object-oriented bytecode programs

    Theoretical Computer Science

  5. Symbolic execution of concurrent objects in CLP

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

  6. Towards testing concurrent objects in CLP

    Leibniz International Proceedings in Informatics, LIPIcs

2011

  1. Closed-form upper bounds in static cost analysis

    Journal of Automated Reasoning, Vol. 46, Núm. 2, pp. 161-203