Publicaciones en colaboración con investigadores/as de Universidad Politécnica de Madrid (26)

2021

  1. Actor-based model checking for Software-Defined Networks

    Journal of Logical and Algebraic Methods in Programming, Vol. 118

  2. Deadlock-guided testing

    IEEE Access, Vol. 9, pp. 46033-46048

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)

2014

  1. SACO: Static analyzer for concurrent objects

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

  2. Selected and extended papers from Bytecode 2013

    Science of Computer Programming

2013

  1. A CLP heap solver for test case generation

    Theory and Practice of Logic Programming

  2. A framework for guided test case generation in constraint logic programming

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

  3. 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. Resource-driven CLP-based test case generation

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

2011

  1. Compositional CLP-based test data generation for imperative languages

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

  2. Cost analysis of concurrent OO programs

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

2010

  1. PET: A partial evaluation-based test case generation tool for Java bytecode

    Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation

  2. Test case generation for object-oriented imperative languages in CLP

    Theory and Practice of Logic Programming

2009

  1. Decompilation of Java bytecode to Prolog by partial evaluation

    Information and Software Technology, Vol. 51, Núm. 10, pp. 1409-1427

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

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

  3. Test data generation of bytecode by CLP partial evaluation

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

  4. Type-based homeomorphic embedding for online termination

    Information Processing Letters, Vol. 109, Núm. 15, pp. 879-886