79 citations · 158 across the 15 of their papers we have counts for
1 paper · 1 filter
Danning Xie, Yitong Li, Mijung Kim +4
Input constraints are useful for many software development tasks. For example, input constraints of a function enable the generation of valid inputs, i.e., inputs that follow these…