Test Generation using the Constraint Logic Programming Language CHIP