Miguel Gómez-Zamalloa

Available identifiers

zbMath Open gomez-zamalloa.miguelMaRDI QIDQ989515

List of research outcomes

Publication	Date of Publication	Type
Constrained dynamic partial order reduction	2023-05-05	Paper
Generation of Initial Contexts for Effective Deadlock Detection	2023-04-09	Paper
Context-sensitive dynamic partial order reduction	2022-07-01	Paper
SDN-actors: modeling and verification of SDN programs	2021-05-04	Paper
Actor-based model checking for software-defined networks	2021-02-26	Paper
Test Case Generation of Actor Systems	2016-01-08	Paper
A CLP heap solver for test case generation	2014-02-27	Paper
Towards Testing Concurrent Objects in CLP	2014-02-25	Paper
A Framework for Guided Test Case Generation in Constraint Logic Programming	2013-09-13	Paper
Resource-Driven CLP-Based Test Case Generation	2013-03-13	Paper
Automatic Inference of Resource Consumption Bounds	2012-06-15	Paper
Type-based homeomorphic embedding for online termination	2010-08-20	Paper
Test case generation for object-oriented imperative languages in CLP	2010-08-19	Paper
Test Data Generation of Bytecode by CLP Partial Evaluation	2009-03-24	Paper
Type-Based Homeomorphic Embedding and Its Applications to Online Partial Evaluation	2009-01-22	Paper

Research outcomes over time

This page was built for person: Miguel Gómez-Zamalloa