QuickCheck, Input Generation, Hypothesis Testing, Test Refinement
FuzzFeed: An Automatic Approach to Weakest Precondition Generation using LLMs and Fuzzing
arxiv.org·2d
Measuring how changes in code readability attributes affect code quality evaluation by Large Language Models
arxiv.org·2d
Loading...Loading more...