Puri Arenas

Publication Activity (10 Years)

Years Active: 2006-2018
Publications (10 Years): 3

Top Topics

Spelling Correction

Individual Objects

Test Case Generation

Selection Strategies

Top Venues

Softw. Test. Verification Reliab.

Sci. Comput. Program.

Publications

Elvira Albert, Puri Arenas, Miguel Gómez-Zamalloa
Systematic testing of actor systems. Softw. Test. Verification Reliab. 28 (3) (2018)
Elvira Albert, Puri Arenas, Maria Garcia de la Banda, Miguel Gómez-Zamalloa, Peter J. Stuckey
Context-Sensitive Dynamic Partial Order Reduction. CAV (1) (2017)
Elvira Albert, Puri Arenas, Miguel Gómez-Zamalloa
Testing of concurrent and imperative software using CLP. PPDP (2016)
Elvira Albert, Puri Arenas, Samir Genaim, Germán Puebla
A practical comparator of cost functions and its applications. Sci. Comput. Program. 111 (2015)
Elvira Albert, Puri Arenas, Miguel Gómez-Zamalloa
Test Case Generation of Actor Systems. ATVA (2015)
Elvira Albert, Puri Arenas, Jesús Correas Fernández, Samir Genaim, Miguel Gómez-Zamalloa, Germán Puebla, Guillermo Román-Díez
Object-sensitive cost analysis for concurrent objects. Softw. Test. Verification Reliab. 25 (3) (2015)
Elvira Albert, Puri Arenas, Jesús Correas, Samir Genaim, Miguel Gómez-Zamalloa, Enrique Martin-Martin, Germán Puebla, Guillermo Román-Díez
Resource Analysis: From Sequential to Concurrent and Distributed Programs. FM (2015)
Elvira Albert, Puri Arenas, Miguel Gómez-Zamalloa
Actor- and Task-Selection Strategies for Pruning Redundant State-Exploration in Testing. FORTE (2014)
Elvira Albert, Puri Arenas, Antonio Flores-Montoya, Samir Genaim, Miguel Gómez-Zamalloa, Enrique Martin-Martin, German Puebla, Guillermo Román-Díez
SACO: Static Analyzer for Concurrent Objects. TACAS (2014)
Elvira Albert, Puri Arenas, Samir Genaim, Germán Puebla, Guillermo Román-Díez
Conditional termination of loops over heap-allocated data. Sci. Comput. Program. 92 (2014)
Elvira Albert, Puri Arenas, Miguel Gómez-Zamalloa, José Miguel Rojas
Test Case Generation by Symbolic Execution: Basic Concepts, a CLP-Based Instance, and Actor-Based Concurrency. SFM (2014)
Diego Esteban Alonso-Blas, Puri Arenas, Samir Genaim
Precise Cost Analysis via Local Reasoning. ATVA (2013)
Elvira Albert, Puri Arenas, Miguel Gómez-Zamalloa, Peter Y. H. Wong
aPET: a test case generation tool for concurrent objects. ESEC/SIGSOFT FSE (2013)
Elvira Albert, Diego Esteban Alonso-Blas, Puri Arenas, Jesús Correas, Antonio Flores-Montoya, Samir Genaim, Miguel Gómez-Zamalloa, Abu Naser Masud, German Puebla, José Miguel Rojas, Guillermo Román-Díez, Damiano Zanardini
Automatic Inference of Bounds on Resource Consumption. FMCO (2012)
Elvira Albert, Puri Arenas, Miguel Gómez-Zamalloa
Symbolic Execution of Concurrent Objects in CLP. PADL (2012)
Elvira Albert, Puri Arenas, Samir Genaim, Miguel Gómez-Zamalloa, Germán Puebla
COSTABS: a cost and termination analyzer for ABS. PEPM (2012)
Elvira Albert, Puri Arenas, Germán Puebla, Manuel V. Hermenegildo
Certificate size reduction in abstraction-carrying code. Theory Pract. Log. Program. 12 (3) (2012)
Puri Arenas, Víctor M. Gulías
Preface. Electron. Notes Theor. Comput. Sci. 282 (2012)
Elvira Albert, Puri Arenas, Samir Genaim, German Puebla, Damiano Zanardini
Cost analysis of object-oriented bytecode programs. Theor. Comput. Sci. 413 (1) (2012)
Elvira Albert, Puri Arenas, Samir Genaim, Miguel Gómez-Zamalloa, Germán Puebla
Automatic Inference of Resource Consumption Bounds. LPAR (2012)
Elvira Albert, Puri Arenas, Miguel Gómez-Zamalloa
Towards Testing Concurrent Objects in CLP. ICLP (Technical Communications) (2012)
Diego Esteban Alonso-Blas, Puri Arenas, Samir Genaim
Handling Non-linear Operations in the Value Analysis of COSTA. Electron. Notes Theor. Comput. Sci. 279 (1) (2011)
Elvira Albert, Puri Arenas, Samir Genaim, Germán Puebla
Closed-Form Upper Bounds in Static Cost Analysis. J. Autom. Reason. 46 (2) (2011)
Elvira Albert, Puri Arenas, Samir Genaim, Miguel Gómez-Zamalloa, German Puebla
Cost Analysis of Concurrent OO Programs. APLAS (2011)
Elvira Albert, Puri Arenas, Samir Genaim, Damiano Zanardini
Task-level analysis for a language with async/finish parallelism. LCTES (2011)
Elvira Albert, Puri Arenas, Samir Genaim, German Puebla, Diana V. Ramírez-Deantes
From Object Fields to Local Variables: A Practical Approach to Field-Sensitive Analysis. SAS (2010)
Elvira Albert, Puri Arenas, Germán Puebla, Manuel V. Hermenegildo
Certificate size reduction in Abstraction-Carrying Code CoRR (2010)
Elvira Albert, Puri Arenas, Samir Genaim, Germán Puebla
Field-Sensitive Value Analysis by Field-Insensitive Analysis. FM (2009)
Elvira Albert, Puri Arenas, Samir Genaim, Germán Puebla, Damiano Zanardini
Resource Usage Analysis and Its Application to Resource Certification. FOSAD (2009)
Elvira Albert, Puri Arenas, Samir Genaim, Germán Puebla
Cost Relation Systems: A Language-Independent Target Language for Cost Analysis. Electron. Notes Theor. Comput. Sci. 248 (2009)
Elvira Albert, Puri Arenas, Samir Genaim, Miguel Gómez-Zamalloa, German Puebla, Diana V. Ramírez-Deantes, Guillermo Román-Díez, Damiano Zanardini
Termination and Cost Analysis with COSTA and its User Interfaces. Electron. Notes Theor. Comput. Sci. 258 (1) (2009)
Elvira Albert, Diego Esteban Alonso-Blas, Puri Arenas, Samir Genaim, German Puebla
Asymptotic Resource Usage Bounds. APLAS (2009)
Elvira Albert, Puri Arenas, Samir Genaim, Israel Herraiz, German Puebla
Comparing Cost Functions in Resource Analysis. FOPARA (2009)
Puri Arenas, Damiano Zanardini
18th Workshop on Logic-based methods in Programming Environments (WLPE 2008) CoRR (2009)
Elvira Albert, Puri Arenas, Samir Genaim, Germán Puebla
Automatic Inference of Upper Bounds for Recurrence Relations in Cost Analysis. SAS (2008)
Elvira Albert, Puri Arenas, Michael Codish, Samir Genaim, Germán Puebla, Damiano Zanardini
Termination Analysis of Java Bytecode. FMOODS (2008)
Elvira Albert, Puri Arenas, Samir Genaim, Germán Puebla, Damiano Zanardini
Removing useless variables in cost analysis of Java bytecode. SAC (2008)
Elvira Albert, Puri Arenas, Samir Genaim, German Puebla, Damiano Zanardini
COSTA: Design and Implementation of a Cost and Termination Analyzer for Java Bytecode. FMCO (2007)
Elvira Albert, Puri Arenas, Germán Puebla
Some Issues on Incremental Abstraction-Carrying Code CoRR (2007)
Elvira Albert, Puri Arenas, Samir Genaim, Germán Puebla, Damiano Zanardini
Cost Analysis of Java Bytecode. ESOP (2007)
Elvira Albert, Puri Arenas, Samir Genaim, Germán Puebla, Damiano Zanardini
Experiments in Cost Analysis of Java Bytecode. Electron. Notes Theor. Comput. Sci. 190 (1) (2007)
Elvira Albert, Puri Arenas, Germán Puebla
An Incremental Approach to Abstraction-Carrying Code. LPAR (2006)