activity
20092020
most citedVerification of Java Bytecode using Analysis and Transformation of Logic Programs

47 citations · 54 across the 3 of their papers we have counts for

collaborators
Showing 2009Show all

1 paper · 1 filter

cs.PL2009★ 7 cited

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…