We should record the time it takes experts vs FixML to evaluate the test suite and make a figure to communicate this. To collect the time data, we can use a shell script for FixML with bash timing tool and log the data. For humans, we maybe can add a timer via Google forms for data collection? Or ask the experts to time themselves and enter their "focused" time as another item in the survey. @WeilinHan8 - can you please look into these survey options.
We should record the time it takes experts vs FixML to evaluate the test suite and make a figure to communicate this. To collect the time data, we can use a shell script for FixML with bash timing tool and log the data. For humans, we maybe can add a timer via Google forms for data collection? Or ask the experts to time themselves and enter their "focused" time as another item in the survey. @WeilinHan8 - can you please look into these survey options.