Dear Sir/Madam,

Recently, I am studying software testing. I manually obtain some test constraints from a program. These constraints are composed of a set of equations or ine