@incollection{Guglielmo09, author = {Giuseppe Di Guglielmo and Franco Fummi and Cristina Marconcini and and Graziano Pravadelli}, title = {Test Generation Based on CLP}, booktitle = {Micro Electronic and Mechanical Systems}, publisher = {IntechOpen}, address = {Rijeka}, year = {2009}, editor = {Kenichi Takahata}, chapter = {24}, doi = {10.5772/7023}, url = {https://doi.org/10.5772/7023} }