?url_ver=Z39.88-2004&rft_id=10.1007%2F978-3-642-30473-6_10&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.aulast=Senni&rft.aufirst=Valerio&rft.au=Senni%2C+Valerio&rft.title=Generation+of+Test+Data+Structures+Using+Constraint+Logic+Programming&rft.btitle=Tests+and+Proofs%3A+6th+International+Conference%2C+TAP+2012%2C+Prague%2C+Czech+Republic%2C+May+31+%E2%80%93+June+1%2C+2012.+Proceedings&rft.date=2012&rft.isbn=978-3-642-30472-9&rft.tpages=187&rft.genre=bookitem