PURIFICACIÓN
ARENAS SÁNCHEZ
Profesora titular de universidad
ELVIRA MARÍA
ALBERT ALBIOL
Catedrática de universidad
Publications by the researcher in collaboration with ELVIRA MARÍA ALBERT ALBIOL (38)
2018
-
Systematic testing of actor systems
Software Testing Verification and Reliability, Vol. 28, Núm. 3
2017
-
Context-sensitive dynamic partial order reduction
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2016
-
Testing of concurrent and imperative software using CLP
Proceedings of the 18th International Symposium on Principles and Practice of Declarative Programming, PPDP 2016
2015
-
A practical comparator of cost functions and its applications
Science of Computer Programming, Vol. 111, Núm. P3, pp. 483-504
-
Object-sensitive cost analysis for concurrent objects
Software Testing Verification and Reliability, Vol. 25, Núm. 3, pp. 218-271
-
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)
-
Test case generation of actor systems
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2014
-
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)
-
Conditional termination of loops over heap-allocated data
Science of Computer Programming, Vol. 92, Núm. PART A, pp. 2-24
-
SACO: Static analyzer for concurrent objects
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
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
-
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
-
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
-
Automatic inference of resource consumption bounds
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
COSTABS: A cost and termination analyzer for ABS
Conference Record of the Annual ACM Symposium on Principles of Programming Languages
-
Certificate size reduction in abstraction-carrying code
Theory and Practice of Logic Programming, Vol. 12, Núm. 3, pp. 283-318
-
Cost analysis of object-oriented bytecode programs
Theoretical Computer Science
-
Symbolic execution of concurrent objects in CLP
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
Towards testing concurrent objects in CLP
Leibniz International Proceedings in Informatics, LIPIcs
2011
-
Closed-form upper bounds in static cost analysis
Journal of Automated Reasoning, Vol. 46, Núm. 2, pp. 161-203