Under consideration for publication in Theory and Practice of Logic Programming 1 Test Case Generation for Object-Oriented Imperative Languages in CLP

by Miguel Gómez-zamalloa , Elvira Albert , Germán Puebla