1 paper
Zeming Liu, Hang Lyu, Jingtao Zhang
Generated operational programs are often validated with either a few hand-written examples or exhaustive regression suites. The former can miss sparse boundary and interaction faul…