7 citations · 7 across the 3 of their papers we have counts for
1 paper · 1 filter
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…