This paper makes the following contributions.
• FOREPOST collects and utilizes execution traces of
the AUT to learn rules that describe the computational
intensity of the workload in terms of the properties
of input data. These rules are used by the adaptive
automated test script automatically, in a feedback loop
to steer the execution of the AUT by selecting input