Fig. 1From: An empirical study of test generation with BETAAn overview of the BETA approach. Rectangular boxes represent steps of the process, and sheets represent input/output artifacts used throughout the processBack to article page