Efficient Test Data Generation for MC/DC with OCL and Search

Open in new window