This paper presents a new tool called Extrapolate that automatically generalizes counterexamples found by property-based testing in Haskell.
確定! 回上一頁