Skip to main content

An empirical study of test generation with BETA