Concepedia

Miguel Gómez‐Zamalloa

MG

15

Publications

411

Citations

12

H-Index

2007

Active since

Affiliations

Universidad Complutense de Madrid(Current)

Universidad Politécnica de Madrid

Miguel Gómez‐Zamalloa is an author at Universidad Complutense de Madrid specializing in engineering, computer science, and formal methods.

Top concepts

EngineeringComputer ScienceProgram AnalysisSoftware AnalysisFormal MethodsComputer EngineeringSoftware EngineeringFormal VerificationSoftware TestingSystem Software

Publications per year

2007–2016

15

Publications

15

Heap space analysis for java bytecode

Elvira Albert, Samir Genaim, Miguel Gómez‐Zamalloa · 2007 · 50 citations

Engineering, Compiler Technology, Computer Architecture +16

Live heap space analysis for languages with garbage collection

Elvira Albert, Samir Genaim, Miguel Gómez‐Zamalloa · 2009 · 47 citations · Full text

Engineering, Compiler Technology, Computer Architecture +16

Parametric inference of memory requirements for garbage collected languages

Elvira Albert, Samir Genaim, Miguel Gómez‐Zamalloa · 2010 · 45 citations · Full text

Software Maintenance, Engineering, Software Engineering +21

Test case generation for object-oriented imperative languages in CLP

Miguel Gómez‐Zamalloa, Elvira Albert, Germán Puebla · Theory and Practice of Logic Programming · 2010 · 34 citations · Full text

Object-oriented Imperative Languages, Engineering, Test Data Generation +19

Decompilation of Java bytecode to Prolog by partial evaluation

Miguel Gómez‐Zamalloa, Elvira Albert, Germán Puebla · Information and Software Technology · 2009 · 32 citations

Engineering, Program Analysis, Automated Reasoning +8

Rows per page

1–5 of 15