AUTOMATIC GENERATION OF MC/DC TEST DATA