Generation of test data structures using constraint logic programming (2012)

by V Senni, F Fioravanti
Venue:In Proc. TAP, LNCS 7305