( en | de | ru )

 

Disambiguation of "Gómez-Zamalloa, Miguel"

Author of the publication

copydeleteadd this publication to your clipboard
Context-Sensitive Dynamic Partial Order Reduction.

, , , , and . CAV (1), volume 10426 of Lecture Notes in Computer Science, page 526-543. Springer, (2017)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Carlos Miguel Gómez

Armando Miguel Gómez Torres

Ana Gómez-Carrillo Castro

Pedro Gómez

Gerardo Gómez Gonzáles

 

Other publications of authors with the same name

A Framework for Guided Test Case Generation in Constraint Logic Programming., and . LOPSTR, volume 7844 of Lecture Notes in Computer Science, page 176-193. Springer, (2012)Compositional CLP-Based Test Data Generation for Imperative Languages., , , and . LOPSTR, volume 6564 of Lecture Notes in Computer Science, page 99-116. Springer, (2010)aPET: a test case generation tool for concurrent objects., , , and . ESEC/SIGSOFT FSE, page 595-598. ACM, (2013)Cost Analysis of Concurrent OO Programs., , , , and . APLAS, volume 7078 of Lecture Notes in Computer Science, page 238-254. Springer, (2011)SDN-Actors: Modeling and Verification of SDN Programs., , , , and . FM, volume 10951 of Lecture Notes in Computer Science, page 550-567. Springer, (2018)jPET: An Automatic Test-Case Generator for Java., , , , and . WCRE, page 441-442. IEEE Computer Society, (2011)PET: a partial evaluation-based test case generation tool for Java bytecode., , and . PEPM, page 25-28. ACM, (2010)Live heap space analysis for languages with garbage collection., , and . ISMM, page 129-138. ACM, (2009)Actor- and Task-Selection Strategies for Pruning Redundant State-Exploration in Testing., , and . FORTE, volume 8461 of Lecture Notes in Computer Science, page 49-65. Springer, (2014)Verification of Java Bytecode Using Analysis and Transformation of Logic Programs., , , and . PADL, volume 4354 of Lecture Notes in Computer Science, page 124-139. Springer, (2007)