?url_ver=Z39.88-2004&rft_id=10.1093%2Flogcom%2Fext071+&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.au=Fioravanti%2C+Fabio&rft.aufirst=Fabio&rft.aulast=Fioravanti&rft.issn=0955-792X&rft.date=2013&rft.atitle=Efficient+Generation+of+Test+Data+Structures+using+Constraint+Logic+Programming+and+Program+Transformation&rft.title=Journal+of+Logic+and+Computation&rft.genre=article