CrowdSpec: Supporting materials

Paper title: Mining Specifications from Documentation Using a Crowd

User studies

We ran several studies to evaluate CrowdSpec on the three Java APIs. These studies are described in the paper. On this page we make available the complete ground truth that we manually derived as well as the raw results from the studies we ran.

Ground truth

SpecForge true properties

Qualification Test

HIT Design

Experiments to answer research questions