47 citations · 54 across the 3 of their papers we have counts for
3 papers
Actor-Based Model Checking for SDN Networks
Elvira Albert, Miguel Gómez-Zamalloa, Miguel Isabel +3
Software-Defined Networking (SDN) is a networking paradigm that has become increasingly popular in the last decade. The unprecedented control over the global behavior of the networ…
Verification of Java Bytecode using Analysis and Transformation of Logic Programs
Elvira Albert, Miguel Gómez-Zamalloa, Laurent Hubert +1
State of the art analyzers in the Logic Programming (LP) paradigm are nowadays mature and sophisticated. They allow inferring a wide variety of global properties including terminat…
On the Generation of Test Data for Prolog by Partial Evaluation
Miguel Gomez-Zamalloa, Elvira Albert, German Puebla
In recent work, we have proposed an approach to Test Data Generation (TDG) of imperative bytecode by partial evaluation (PE) of CLP which consists in two phases: (1) the bytecode p…