Grammar-based program generation based on model finding | IEEE Conference Publication | IEEE Xplore