Testing Properties of Constraint-Graphs | IEEE Conference Publication | IEEE Xplore