|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 12 occurrences of 8 keywords
|
|
|
|
|
Results
Found 23 publication records. Showing 23 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Elvira Albert, Puri Arenas, Miguel Gómez-Zamalloa |
Symbolic Execution of Concurrent Objects in CLP.  |
PADL  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Elvira Albert, Puri Arenas, Samir Genaim, Miguel Gómez-Zamalloa, Germán Puebla |
Automatic Inference of Resource Consumption Bounds. |
LPAR |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Elvira Albert, Puri Arenas, Samir Genaim, Miguel Gómez-Zamalloa, Germán Puebla |
COSTABS: a cost and termination analyzer for ABS. |
PEPM |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Elvira Albert, Israel Cabanas, Antonio Flores-Montoya, Miguel Gómez-Zamalloa, Sergio Gutierrez |
jPET: An Automatic Test-Case Generator for Java. |
WCRE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Elvira Albert, Samir Genaim, Miguel Gómez-Zamalloa, Einar Broch Johnsen, Rudolf Schlatte, Silvia Lizeth Tapia Tarifa |
Simulating Concurrent Behaviors with Worst-Case Cost Bounds. |
FM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Elvira Albert, Puri Arenas, Samir Genaim, Miguel Gómez-Zamalloa, German Puebla |
Cost Analysis of Concurrent OO Programs. |
APLAS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Elvira Albert, Miguel Gómez-Zamalloa, Laurent Hubert, German Puebla |
Verification of Java Bytecode using Analysis and Transformation of Logic Programs |
CoRR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Miguel Gómez-Zamalloa, Elvira Albert, Germán Puebla |
Test Case Generation for Object-Oriented Imperative Languages in CLP |
CoRR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Miguel Gómez-Zamalloa, Elvira Albert, Germán Puebla |
Test case generation for object-oriented imperative languages in CLP. |
TPLP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Elvira Albert, Miguel Gómez-Zamalloa, Germán Puebla |
PET: a partial evaluation-based test case generation tool for Java bytecode. |
PEPM |
2010 |
DBLP DOI BibTeX RDF |
testing, partial evaluation, symbolic execution, constraint logic programming, test-case generation |
| 1 | Elvira Albert, Samir Genaim, Miguel Gómez-Zamalloa |
Parametric inference of memory requirements for garbage collected languages. |
ISMM |
2010 |
DBLP DOI BibTeX RDF |
live heap space analysis, peak memory consumption, garbage collection, java bytecode, low-level languages |
| 1 | Elvira Albert, Miguel Gómez-Zamalloa, José Miguel Rojas, Germán Puebla |
Compositional CLP-Based Test Data Generation for Imperative Languages. |
LOPSTR |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Elvira Albert, John P. Gallagher, Miguel Gómez-Zamalloa, Germán Puebla |
Type-based homeomorphic embedding for online termination. |
Inf. Process. Lett. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Elvira Albert, Puri Arenas, Samir Genaim, Miguel Gómez-Zamalloa, German Puebla, Diana V. Ramírez-Deantes, Guillermo Román-Díez, Damiano Zanardini |
Termination and Cost Analysis with COSTA and its User Interfaces. |
Electr. Notes Theor. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Miguel Gómez-Zamalloa, Elvira Albert, Germán Puebla |
On the Generation of Test Data for Prolog by Partial Evaluation |
CoRR |
2009 |
DBLP BibTeX RDF |
|
| 1 | Miguel Gómez-Zamalloa, Elvira Albert, Germán Puebla |
Decompilation of Java bytecode to Prolog by partial evaluation. |
Information & Software Technology |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Elvira Albert, Samir Genaim, Miguel Gómez-Zamalloa |
Live heap space analysis for languages with garbage collection. |
ISMM |
2009 |
DBLP DOI BibTeX RDF |
live heap space analysis, peak memory consumption, java bytecode, low-level languages |
| 1 | Miguel Gómez-Zamalloa, Elvira Albert, Germán Puebla |
Modular Decompilation of Low-Level Code by Partial Evaluation. |
SCAM |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Elvira Albert, Miguel Gómez-Zamalloa, Germán Puebla |
Test Data Generation of Bytecode by CLP Partial Evaluation. |
LOPSTR |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Miguel Gómez-Zamalloa, Elvira Albert, Germán Puebla |
Improving the Decompilation of Java Bytecode to Prolog by Partial Evaluation. |
Electr. Notes Theor. Comput. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Elvira Albert, Miguel Gómez-Zamalloa, Laurent Hubert, Germán Puebla |
Verification of Java Bytecode Using Analysis and Transformation of Logic Programs. |
PADL |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Elvira Albert, Samir Genaim, Miguel Gómez-Zamalloa |
Heap space analysis for java bytecode. |
ISMM |
2007 |
DBLP DOI BibTeX RDF |
heap consumption, heap space analysis, Java bytecode, low-level languages |
| 1 | Elvira Albert, John P. Gallagher, Miguel Gómez-Zamalloa, Germán Puebla |
Type-Based Homeomorphic Embedding and Its Applications to Online Partial Evaluation. |
LOPSTR |
2007 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #23 of 23 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")