Coverage rewarded: Test input generation via adaptation-based programming | IEEE Conference Publication | IEEE Xplore