Journal article

A CLP heap solver for test case generation

Elvira Albert, Maria Garcia De La Banda, Miguel Gomez-Zamalloa, Jose Miguel Rojas, Peter Stuckey

Theory and Practice of Logic Programming | CAMBRIDGE UNIV PRESS | Published : 2013


Funding Acknowledgements

This work was funded partially by projects TIN2008-05624, TIN2012-38137, PRI-AIBDE-2011-0900, S2009TIC-1465, ARC DP110102579, and ARC DP110102258.