Miguel Gómez-Zamalloa
Miguel Gómez-Zamalloa
Assistant Professor of Computer Science, Complutense University of Madrid
Verified email at clip.dia.fi.upm.es - Homepage
Title
Cited by
Cited by
Year
SACO: static analyzer for concurrent objects
E Albert, P Arenas, A Flores-Montoya, S Genaim, M Gómez-Zamalloa, ...
International Conference on Tools and Algorithms for the Construction and …, 2014
752014
Heap space analysis for java bytecode
E Albert, S Genaim, M Gomez-Zamalloa
Proceedings of the 6th international symposium on Memory management, 105-116, 2007
632007
Parametric inference of memory requirements for garbage collected languages
E Albert, S Genaim, M Gómez-Zamalloa
ACM Sigplan Notices 45 (8), 121-130, 2010
532010
Live heap space analysis for languages with garbage collection
E Albert, S Genaim, M Gómez-Zamalloa Gil
Proceedings of the 2009 international symposium on Memory management, 129-138, 2009
512009
Test case generation for object-oriented imperative languages in CLP
M Gómez-Zamalloa, E Albert, GÁ Puebla
arXiv preprint arXiv:1007.5195, 2010
502010
Verification of Java bytecode using analysis and transformation of logic programs
E Albert, M Gómez-Zamalloa, L Hubert, G Puebla
International Symposium on Practical Aspects of Declarative Languages, 124-139, 2007
492007
Cost analysis of concurrent OO programs
E Albert, P Arenas, S Genaim, M Gómez-Zamalloa, G Puebla
Asian Symposium on Programming Languages and Systems, 238-254, 2011
422011
COSTABS: a cost and termination analyzer for ABS
E Albert, P Arenas, S Genaim, M Gómez-Zamalloa, G Puebla
Proceedings of the ACM SIGPLAN 2012 workshop on Partial evaluation and …, 2012
382012
Object‐sensitive cost analysis for concurrent objects
E Albert, P Arenas, J Correas, S Genaim, M Gómez‐Zamalloa, G Puebla, ...
Software Testing, Verification and Reliability 25 (3), 218-271, 2015
362015
Termination and cost analysis with COSTA and its user interfaces
E Albert, P Arenas, S Genaim, M Gómez-Zamalloa, G Puebla, D Ramírez, ...
Electronic Notes in Theoretical Computer Science 258 (1), 109-121, 2009
302009
Decompilation of Java bytecode to Prolog by partial evaluation
M Gómez-Zamalloa, E Albert, G Puebla
Information and Software Technology 51 (10), 1409-1427, 2009
292009
PET: a partial evaluation-based test case generation tool for Java bytecode
E Albert, M Gómez-Zamalloa, G Puebla
Proceedings of the 2010 ACM SIGPLAN workshop on Partial evaluation and …, 2010
262010
Simulating concurrent behaviors with worst-case cost bounds
E Albert, S Genaim, M Gómez-Zamalloa, EB Johnsen, R Schlatte, ...
International Symposium on Formal Methods, 353-368, 2011
252011
Test data generation of bytecode by CLP partial evaluation
E Albert, M Gómez-Zamalloa, G Puebla
International Symposium on Logic-Based Program Synthesis and Transformation …, 2008
252008
SYCO: a systematic testing tool for concurrent objects
E Albert, M Gómez-Zamalloa, M Isabel
Proceedings of the 25th International Conference on Compiler Construction …, 2016
242016
Context-sensitive dynamic partial order reduction
E Albert, P Arenas, MG De La Banda, M Gómez-Zamalloa, PJ Stuckey
International Conference on Computer Aided Verification, 526-543, 2017
222017
aPET: a test case generation tool for concurrent objects
E Albert, P Arenas, M Gómez-Zamalloa, PYH Wong
Proceedings of the 2013 9th Joint Meeting on Foundations of Software …, 2013
192013
jpet: An automatic test-case generator for java
E Albert, I Cabanas, A Flores-Montoya, M Gómez-Zamalloa, S Gutiérrez
2011 18th Working Conference on Reverse Engineering, 441-442, 2011
192011
Combining static analysis and testing for deadlock detection
E Albert, M Gómez-Zamalloa, M Isabel
International Conference on Integrated Formal Methods, 409-424, 2016
172016
Testing abstract behavioral specifications
PYH Wong, R Bubel, FS de Boer, M Gómez-Zamalloa, S De Gouw, ...
International Journal on Software Tools for Technology Transfer 17 (1), 107-119, 2015
132015
The system can't perform the operation now. Try again later.
Articles 1–20