E-LIB Suche - Ergebnisse für: Gómez-Zamalloa, Miguel

1

Optimal dynamic partial order reduction with context-sensit..:

Albert, Elvira ; de la Banda, Maria Garcia ; Gómez-Zamalloa, Miguel..
Journal of Systems and Software. 202 (2023) - p. 111730 , 2023

Link: https://doi.org/10.1016/..

2

Deadlock-Guided Testing:

Gomez-Zamalloa, Miguel ; Isabel, Miguel
IEEE Access. 9 (2021) - p. 46033-46048 , 2021

Link: https://doi.org/10.1109/..

3

Actor-based model checking for Software-Defined Networks:

Albert, Elvira ; Gómez-Zamalloa, Miguel ; Isabel, Miguel...
Journal of Logical and Algebraic Methods in Programming. 118 (2021) - p. 100617 , 2021

Link: https://doi.org/10.1016/..

4

Optimal context-sensitive dynamic partial order reduction w..:

, In: Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis,

Albert, Elvira ; de la Banda, Maria Garcia ; Gómez-Zamalloa, Miguel.. - p. 352-362 , 2019

Link: https://dl.acm.org/doi/1..

5

Constrained Dynamic Partial Order Reduction:

, In: Computer Aided Verification; Lecture Notes in Computer Science,

Albert, Elvira ; Gómez-Zamalloa, Miguel ; Isabel, Miguel. - p. 392-410 , 2018

Link: https://doi.org/10.1007/..

6

Testing of concurrent and imperative software using CLP:

, In: Proceedings of the 18th International Symposium on Principles and Practice of Declarative Programming,

Albert, Elvira ; Arenas, Puri ; Gómez-Zamalloa, Miguel - p. 1-8 , 2016

Link: https://dl.acm.org/doi/1..

7

SYCO: a systematic testing tool for concurrent objects:

, In: Proceedings of the 25th International Conference on Compiler Construction,

Albert, Elvira ; Gómez-Zamalloa, Miguel ; Isabel, Miguel - p. 269-270 , 2016

Link: https://dl.acm.org/doi/1..

8

Testing abstract behavioral specifications:

Wong, Peter Y. H. ; Bubel, Richard ; de Boer, Frank S....
International Journal on Software Tools for Technology Transfer. 17 (2014) 1 - p. 107-119 , 2014

Link: https://doi.org/10.1007/..

9

Selected and extended papers from Bytecode 2013:

Gómez-Zamalloa, Miguel ; Puebla, Germán
Science of Computer Programming. 95 (2014) - p. 343 , 2014

Link: https://doi.org/10.1016/..

10

aPET: a test case generation tool for concurrent objects:

, In: Proceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering,

Albert, Elvira ; Arenas, Puri ; Gómez-Zamalloa, Miguel. - p. 595-598 , 2013

Link: https://dl.acm.org/doi/1..

11

A CLP heap solver for test case generation:

ALBERT, ELVIRA ; DE LA BANDA, MARÍA GARCÍA ; GÓMEZ-ZAMALLOA, MIGUEL..
Theory and Practice of Logic Programming. 13 (2013) 4-5 - p. 721-735 , 2013

Link: https://doi.org/10.1017/..

12

Heap space analysis for garbage collected languages:

Albert, Elvira ; Genaim, Samir ; Gómez-Zamalloa, Miguel
Science of Computer Programming. 78 (2013) 9 - p. 1427-1448 , 2013

Link: https://doi.org/10.1016/..

13

Symbolic execution of concurrent objects in CLP:

, In: Proceedings of the 14th international conference on Practical Aspects of Declarative Languages,

Albert, Elvira ; Arenas, Puri ; Gómez-Zamalloa, Miguel - p. 123-137 , 2012

Link: https://dl.acm.org/doi/1..

14

COSTABS : a cost and termination analyzer for ABS:

, In: Proceedings of the ACM SIGPLAN 2012 workshop on Partial evaluation and program manipulation,

Albert, Elvira ; Arenas, Puri ; Genaim, Samir.. - p. 151-154 , 2012

Link: https://dl.acm.org/doi/1..

15

Symbolic Execution of Concurrent Objects in CLP:

, In: Practical Aspects of Declarative Languages; Lecture Notes in Computer Science,

Albert, Elvira ; Arenas, Puri ; Gómez-Zamalloa, Miguel - p. 123-137 , 2012

Link: https://doi.org/10.1007/..