Generating Distinguishing Tests Using the Minion Constraint Solver | IEEE Conference Publication | IEEE Xplore