%0 Generic
%A Haak, van den, Lars
%A Wijs, Anton
%A van den Brand, Mark
%A Huisman, Marieke
%D 2020
%T Card sorting data for Formal methods for GPGPU programming: is the demand met?
%U https://data.4tu.nl/articles/dataset/Card_sorting_data_for_Formal_methods_for_GPGPU_programming_is_the_demand_met_/12988781/1
%R 10.4121/12988781.v1
%K Stack Overflow, Software Engineering
%K GPGPU
%K Formal Methods
%K Card Sorting
%K Bugs
%X # GPU Questions<br>This is the data from the card sorting from the paper "Formal methods for GPGPU programming: is the demand met?" (Section 3) that will be published at integrated Formal Methods 2020.<br><br>The original questions, with title and body can be found in the `complete_dataset_GPGPUtags.csv` file. Note that there are duplicates, but that doesn't matter.<br><br>The file `Results_final.csv` has all the categories associated with the questions resulting from the card sorting.<br><br>The file `categories.csv` has the sums of all the categories<br><br>Note that some questions have since been removed from stack overflow, but otherwise the questions can be found via: `https://stackoverflow.com/questions/[id]` where [id] is the id of the questions.
%I 4TU.ResearchData