Ling YangGroup ExperienceGraduated 2018MasterPublicationsSearch publicationsVenueAll venuesSAC1 publicationClear all filtersNo publications foundClear all filters2018Generating minimal test set satisfying MC/DC criterion via SAT based approachSAC 2018·Ling Yang, Jun Yan, Jian ZhangCite