Información del autor
Documentos disponibles escritos por este autor (5)
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
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 ; 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[...]texto impreso
Testing is a vital part of the software development process. It is even more so in the context of concurrent languages, since due to undesired task interleavings and to unexpected behaviours of the underlying task scheduler, errors can go easil[...]texto impreso
Wong, Peter Y. H. ; Bubel, Richard ; Boer, Frank S. de ; Gómez Zamalloa, Miguel ; Gouw, Stijn de ; Hähnle, Reiner ; Meinke, Karl ; Sindhu, Muddassar Azam | Springer Verlag | 2015-02We present a range of testing techniques for the Abstract Behavioral Specification (ABS) language and apply them to an industrial case study. ABS is a formal modeling language for highly variable, concurrent, component-based systems. The nature [...]
