Tagged: Inferring software behavioral models with MapReduce