47 citations · 80 across the 2 of their papers we have counts for
2 papers
cs.PL2010★ 33 cited
Test Case Generation for Object-Oriented Imperative Languages in CLP
Miguel Gómez-Zamalloa, Elvira Albert, Germán Puebla
Testing is a vital part of the software development process. Test Case Generation (TCG) is the process of automatically generating a collection of test cases which are applied to a…
cs.PL2010★ 47 cited
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…