Doctoral Thesis Artifact "User-Centered Tool Design for Data-Flow Analysis"

This artifact contains the evaluation data and source code accompanying the doctoral thesis "User-Centered Tool Design for Data-Flow Analysis" by Lisa Nguyen Quang Do. The artifact contains (1) the survey questions and anonymized answers of the surveys conducted during the thesis, (2) the user study questionnaires, results, and test applications of the user studies conducted for the thesis, (3) the source code of the research prototypes and video demonstrations of their interfaces, and (4) the benchmark suites used for the empirical evaluation of those prototypes.