| SACO: static analyzer for concurrent objects E Albert, P Arenas, A Flores-Montoya, S Genaim, M Gómez-Zamalloa, ... Tools and Algorithms for the Construction and Analysis of Systems: 20th …, 2014 | 95 | 2014 |
| 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 | 71 | 2007 |
| 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 | 66 | 2010 |
| Verification of Java bytecode using analysis and transformation of logic programs E Albert, M Gómez-Zamalloa, L Hubert, G Puebla Practical Aspects of Declarative Languages: 9th International Symposium …, 2007 | 65 | 2007 |
| Test case generation for object-oriented imperative languages in CLP M Gómez-Zamalloa, E Albert, G Puebla Theory and Practice of Logic Programming 10 (4-6), 659-674, 2010 | 58 | 2010 |
| 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 | 54 | 2009 |
| Cost analysis of concurrent OO programs E Albert, P Arenas, S Genaim, M Gómez-Zamalloa, G Puebla Programming Languages and Systems: 9th Asian Symposium, APLAS 2011, Kenting …, 2011 | 48 | 2011 |
| Context-sensitive dynamic partial order reduction E Albert, P Arenas, MG De La Banda, M Gómez-Zamalloa, PJ Stuckey Computer Aided Verification: 29th International Conference, CAV 2017 …, 2017 | 47 | 2017 |
| 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 | 45 | 2009 |
| 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 | 43 | 2015 |
| 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 | 43 | 2009 |
| 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 | 39 | 2012 |
| 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 | 38 | 2016 |
| 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 | 35 | 2010 |
| 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 | 32 | 2011 |
| Constrained dynamic partial order reduction E Albert, M Gómez-Zamalloa, M Isabel, A Rubio International Conference on Computer Aided Verification, 392-410, 2018 | 30 | 2018 |
| 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 | 27 | 2011 |
| 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 | 26 | 2008 |
| 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 | 25 | 2016 |
| 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 | 24 | 2013 |
Elvira AlbertComplutense University of Spain在 sip.ucm.es 的电子邮件经过验证
