Travelled to:1 × Austria
1 × Belgium
1 × China
1 × Hungary
1 × Italy
1 × Norway
1 × Russia
2 × Canada
2 × Denmark
2 × France
2 × Spain
2 × USA
3 × Ireland
Collaborated with:E.Albert G.Puebla P.Arenas S.Genaim J.M.Rojas M.Isabel P.J.Stuckey A.Flores-Montoya E.Martin-Martin G.Román-Díez P.Y.H.Wong J.P.Gallagher L.Hubert A.Rubio M.J.G.d.l.Banda I.Cabanas S.Gutierrez M.G.d.l.Banda E.B.Johnsen R.Schlatte S.L.T.Tarifa J.Correas
Talks about:test (13) generat (10) concurr (9) case (9) clp (9) partial (6) object (6) base (6) languag (4) bytecod (4)
Person: Miguel Gómez-Zamalloa
DBLP: G=oacute=mez-Zamalloa:Miguel
Contributed to:
2015
2014
2014
2013
20132012
2012
2012
201220112011
20112010
20102010201020092008
2008200720072007
2016
20172018
2016Wrote 26 papers:
- FM-2015-AlbertACGGMPR #analysis #concurrent #distributed #source code
- Resource Analysis: From Sequential to Concurrent and Distributed Programs (EA, PA, JC, SG, MGZ, EMM, GP, GRD), pp. 3–17.
- SFM-2014-AlbertAGR #concept #concurrent #execution #generative #symbolic computation #testing
- Test Case Generation by Symbolic Execution: Basic Concepts, a CLP-Based Instance, and Actor-Based Concurrency (EA, PA, MGZ, JMR), pp. 263–309.
- TACAS-2014-AlbertAFGGMPR #concurrent #named
- SACO: Static Analyzer for Concurrent Objects (EA, PA, AFM, SG, MGZ, EMM, GP, GRD), pp. 562–567.
- ESEC-FSE-2013-AlbertAGW #concurrent #generative #named #testing
- aPET: a test case generation tool for concurrent objects (EA, PA, MGZ, PYHW), pp. 595–598.
- ICLP-J-2013-AlbertBGRS #generative #testing
- A CLP heap solver for test case generation (EA, MJGdlB, MGZ, JMR, PJS), pp. 721–735.
- ICLP-2012-AlbertAG #concurrent #testing #towards
- Towards Testing Concurrent Objects in CLP (EA, PA, MGZ), pp. 98–108.
- LOPSTR-2012-RojasG #constraints #framework #generative #logic programming #testing
- A Framework for Guided Test Case Generation in Constraint Logic Programming (JMR, MGZ), pp. 176–193.
- PADL-2012-AlbertAG #concurrent #execution #symbolic computation
- Symbolic Execution of Concurrent Objects in CLP (EA, PA, MGZ), pp. 123–137.
- PEPM-2012-AlbertAGGP #named #termination
- COSTABS: a cost and termination analyzer for ABS (EA, PA, SG, MGZ, GP), pp. 151–154.
- FM-2011-AlbertGGJST #behaviour #bound #concurrent #simulation #worst-case
- Simulating Concurrent Behaviors with Worst-Case Cost Bounds (EA, SG, MGZ, EBJ, RS, SLTT), pp. 353–368.
- LOPSTR-2011-AlbertGR #generative #testing
- Resource-Driven CLP-Based Test Case Generation (EA, MGZ, JMR), pp. 25–41.
- WCRE-2011-AlbertCFGG #automation #generative #java #named #testing
- jPET: An Automatic Test-Case Generator for Java (EA, IC, AFM, MGZ, SG), pp. 441–442.
- ICLP-J-2010-Gomez-ZamalloaAP #generative #imperative #object-oriented #testing
- Test case generation for object-oriented imperative languages in CLP (MGZ, EA, GP), pp. 659–674.
- ISMM-2010-AlbertGG #garbage collection #memory management #parametricity #requirements
- Parametric inference of memory requirements for garbage collected languages (EA, SG, MGZ), pp. 121–130.
- LOPSTR-2010-AlbertGRP #composition #generative #imperative #testing
- Compositional CLP-Based Test Data Generation for Imperative Languages (EA, MGZ, JMR, GP), pp. 99–116.
- PEPM-2010-AlbertGP #bytecode #generative #java #named #partial evaluation #testing
- PET: a partial evaluation-based test case generation tool for Java bytecode (EA, MGZ, GP), pp. 25–28.
- ISMM-2009-AlbertGG #analysis #garbage collection
- Live heap space analysis for languages with garbage collection (EA, SG, MGZ), pp. 129–138.
- LOPSTR-2008-AlbertGP #bytecode #generative #partial evaluation #testing
- Test Data Generation of Bytecode by CLP Partial Evaluation (EA, MGZ, GP), pp. 4–23.
- SCAM-2008-Gomez-ZamalloaAP #composition #decompiler #low level #partial evaluation
- Modular Decompilation of Low-Level Code by Partial Evaluation (MGZ, EA, GP), pp. 239–248.
- ISMM-2007-AlbertGG #analysis #bytecode #java
- Heap space analysis for java bytecode (EA, SG, MGZ), pp. 105–116.
- LOPSTR-2007-AlbertGGP #online #partial evaluation #type system
- Type-Based Homeomorphic Embedding and Its Applications to Online Partial Evaluation (EA, JPG, MGZ, GP), pp. 23–42.
- PADL-2007-AlbertGHP #analysis #bytecode #java #logic programming #source code #using #verification
- Verification of Java Bytecode Using Analysis and Transformation of Logic Programs (EA, MGZ, LH, GP), pp. 124–139.
- CC-2016-AlbertGI #concurrent #named #testing
- SYCO: a systematic testing tool for concurrent objects (EA, MGZ, MI), pp. 269–270.
- CAV-2017-AlbertABGS #partial order #reduction
- Context-Sensitive Dynamic Partial Order Reduction (EA, PA, MGdlB, MGZ, PJS), pp. 526–543.
- CAV-2018-AlbertGIR #partial order #reduction
- Constrained Dynamic Partial Order Reduction (EA, MGZ, MI, AR), pp. 392–410.
- PPDP-2016-AlbertAG #concurrent #imperative #testing #using
- Testing of concurrent and imperative software using CLP (EA, PA, MGZ), pp. 1–8.