Synthesized dataset for search-based test data generation methods focused on MC/DC criterion | IEEE Conference Publication | IEEE Xplore