Object‐sensitive cost analysis for concurrent objects

Autor: Germán Puebla, Jesús Correas, Miguel Gómez-Zamalloa, Samir Genaim, Guillermo Román-Díez, Puri Arenas, Elvira Albert

Publikováno v: Software Testing, Verification and Reliability. 25:218-271

This article presents a novel cost analysis framework for concurrent objects. Concurrent objects form a well-established model for distributed concurrent systems. In this model, objects are the concurrency units that communicate among them via asynch

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::8a30c1fa84ccc3634be1b6b4be92bad5
https://doi.org/10.1002/stvr.1569

Testing of concurrent and imperative software using CLP

Autor: Miguel Gómez-Zamalloa, Elvira Albert, Puri Arenas

Publikováno v: PPDP

Testing is a vital part of the software development process. In static testing, instead of executing the program on normal values (e.g., numbers), typically the program is executed on symbolic variables representing arbitrary values. Constraints on t

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::c216726218563d8157f810ed7ff5d594
https://doi.org/10.1145/2967973.2968593

Handling Non-linear Operations in the Value Analysis of COSTA

Autor: Diego Alonso, Puri Arenas, Samir Genaim

Publikováno v: Electronic Notes in Theoretical Computer Science

Inferring precise relations between (the values of) program variables at different program points is essential for termination and resource usage analysis. In both cases, this information is used to synthesize ranking functions that imply the program

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::933850ab5e356f42916433b6ca8b2176
https://doi.org/10.1016/j.entcs.2011.11.002

Termination and Cost Analysis with COSTA and its User Interfaces

Autor: Puri Arenas, D. Ramírez, G. Román, Elvira Albert, Samir Genaim, Miguel Gómez-Zamalloa, Germán Puebla, Damiano Zanardini

Publikováno v: Electronic Notes in Theoretical Computer Science. Proceedings of the Ninth Spanish Conference on Programming and Languages (PROLE 2009) | IX Jornadas sobre Programación y Lenguajes (PROLE '09). IX Spanish Conference on Programming and Languages (PROLE 2009) | 09/09/2009-11/09/2009 | San Sebastian, España
Electronic Notes in Theoretical Computer Science
Archivo Digital UPM
instname

COSTA is a static analyzer for Java bytecode which is able to infer cost and termination information for large classes of programs. The analyzer takes as input a program and a resource of interest, in the form of a cost model, and aims at obtaining a

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::03381989b7ad51fbd760c2076dcb0aa5
https://doi.org/10.1016/j.entcs.2009.12.008

Experiments in Cost Analysis of Java Bytecode

Autor: Puri Arenas, Elvira Albert, Samir Genaim, Damiano Zanardini, Germán Puebla

Publikováno v: Electronic Notes in Theoretical Computer Science. 190(1):67-83

Recently, we proposed a general framework for the cost analysis of Java bytecode which can be used for measuring resource usage. This analysis generates, at compile-time, cost relations which define the cost of programs as a function of their input d

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::6bc7bd96f28d4fa1f8553ef515d26273