The following pages link to Miguel Gómez-Zamalloa (Q989515):
Displaying 14 items.
- Type-based homeomorphic embedding for online termination (Q989516) (← links)
- Actor-based model checking for software-defined networks (Q1996852) (← links)
- SDN-actors: modeling and verification of SDN programs (Q2024371) (← links)
- Context-sensitive dynamic partial order reduction (Q2151268) (← links)
- A Framework for Guided Test Case Generation in Constraint Logic Programming (Q2848906) (← links)
- Automatic Inference of Resource Consumption Bounds (Q2891436) (← links)
- Test Case Generation of Actor Systems (Q3460568) (← links)
- Test case generation for object-oriented imperative languages in CLP (Q3585175) (← links)
- Test Data Generation of Bytecode by CLP Partial Evaluation (Q3617426) (← links)
- Resource-Driven CLP-Based Test Case Generation (Q4909311) (← links)
- Towards Testing Concurrent Objects in CLP (Q5398047) (← links)
- A CLP heap solver for test case generation (Q5398307) (← links)
- Type-Based Homeomorphic Embedding and Its Applications to Online Partial Evaluation (Q5504591) (← links)
- Generation of Initial Contexts for Effective Deadlock Detection (Q5886820) (← links)
