*.csv; *.txt; zip

FARLEAD2 receives a test scenario from the developer, and verifies a related functional behavior by witnessing the test scenario in the Application Under Test, on a real mobile device. The 'results.zip' file contains 204 Comma-Separated Values (CSV) files and a Perl script 'createtable.pl' that generates Table 2 in the manuscript. Each CSV file contains the results of ten runs of a witness generator for a test scenario under a given level of information. The experimental test scenarios are located in the 'scenarios.zip' file.