Información del autor
Documentos disponibles escritos por este autor (17)
Añadir el resultado a su cesta Hacer una sugerencia Refinar búsqueda
texto impreso
Albert Albiol, Elvira ; Arenas Sánchez, Puri ; Gómez Zamalloa, Miguel | 2014-05Testing concurrent systems requires exploring all possible non-deterministic interleavings that the concurrent execution may have. This is because any of the interleavings may reveal the erroneous behaviour. In testing of actor systems, we can d[...]texto impreso
texto impreso
Albert Albiol, Elvira ; Arenas Sánchez, Purificación ; Genaim, Samir ; Puebla, Germán ; Román Díez, Guillermo | Elsevier | 2014-10Static analysis which takes into account the values of data stored in the heap is considered complex and computationally intractable in practice. Thus, most static analyzers do not keep track of object fields nor of array contents, i.e., they ar[...]texto impreso
Gómez-Zamalloa Gil, Miguel ; Albert Albiol, Elvira ; Arenas Sánchez, Purificación ; Correas Fernández, Jesús ; Genaim, Samir ; Puebla Sánchez, Germán ; Román Díez, Guillermo ; Peces, Raquel ; Giraldo, Carlos Gabriel ; Antolín, Clara | 2015-02-20El proyecto plantea el desarrollo de una herramienta de depuración simbólica que ayude a los estudiantes de las asignaturas de iniciación a la programación en las facultades de Informática y Estudios Estadísticostexto impreso
Albert Albiol, Elvira ; Genaim, Samir ; Gordillo, Pablo | 2015-09A may-happen-in-parallel (MHP) analysis computes pairs of program points that may execute in parallel across different distributed components. This information has been proven to be essential to infer both safety properties (e.g., deadlock freed[...]texto impreso
Albert Albiol, Elvira ; Correas Fernández, Jesús ; Puebla, Germán ; Román Díez, Guillermo | Elsevier | 2015-06The aim of incremental analysis is, given a program, its analysis results, and a series of changes to the program, to obtain the new analysis results as eficiently as possible and, ideally, without having to (re-)analyze fragments of code which [...]texto impreso
Existing cost analysis frameworks have been defined for cumulative resources which keep on increasing along the computation. Traditional cumulative resources are execution time, number of executed steps, amount of memory allocated, and energy co[...]texto impreso
Albert Albiol, Elvira ; Correas Fernández, Jesús ; Johnsen, Einar Broch ; Román Díez, Guillermo | 2015-09We present a novel static analysis to infer the parallel cost of distributed systems. Parallel cost differs from the standard notion of serial cost by exploiting the truly concurrent execution model of distributed processing to capture the cost [...]texto impreso
We present a novel static analysis to infer the peak cost of distributed systems. The different locations of a distributed system communicate and coordinate their actions by posting tasks among them. Thus, the amount of work that each location h[...]texto impreso
Albert Albiol, Elvira ; Arenas Sánchez, Purificación ; Genaim, Samir ; Puebla, Germán | Elsevier | 2015-11Automatic cost analysis has significantly advanced in the last few years. Nowadays, a number of cost analyzers exist which automatically produce upperand/ or lower-bounds on the amount of resources required to execute a program.Cost analysis has[...]texto impreso
Albert Albiol, Elvira ; Correas Fernández, Jesús ; Puebla, Germán ; Román Díez, Guillermo | Springer | 2014-11When reasoning about distributed systems, it is essential to have information about the different kinds of nodes that compose the system, how many instances of each kind exist, and how nodes communicate with other nodes. In this paper we present[...]texto impreso
Albert Albiol, Elvira ; Arenas Sánchez, Puri ; Correas Fernández, Jesús ; Genaim, Samir ; Gómez Zamalloa, Miguel ; Martín Martín, Enrique ; Puebla, Germán ; Román Díez, Guillermo | 2015-06Resource analysis aims at automatically inferring upper/lower bounds on the worst/best-case cost of executing programs. Ideally, a resource analyzer should be parametric on the cost model, i.e., the type of cost that the user wants infer (e.g., [...]texto impreso
Albert Albiol, Elvira ; Arenas Sánchez, Purificación ; Flores Montoya, A. ; Genaim, Samir ; Gómez-Zamalloa Gil, Miguel ; Martín Martín, Enrique ; Puebla, G. ; Román Díez, Guillermo | Springer | 2014We present the main concepts, usage and implementation of SACO, a static analyzer for concurrent objects. Interestingly, SACO is able to infer both liveness(namely termination and resource boundedness) and safety properties (namely deadlock free[...]texto impreso
Albert Albiol, Elvira ; Correas Fernández, Jesús ; Martín Martín, Enrique ; Román Díez, Guillermo | 2014-10We present a static analysis to infer the amount of data that a distributed system may ransmit. The different locations of a distributed system communicate and coordinate their actions by posting tasks among them. A task is posted by building a [...]texto impreso
Albert Albiol, Elvira ; Arenas Sánchez, Purificación ; Gómez Zamalloa, Miguel ; Rojas, José Miguel | 2014-05The focus of this tutorial is white-box test case generation (TCG) based on symbolic execution. Symbolic execution consists in executing a program with the contents of its input arguments being symbolic variables rather than concrete values. A s[...]
