Augmenting Search-based Techniques with Static Synthesis-based Input Generation | IEEE Conference Publication | IEEE Xplore