paper_type.json (298B)
1 { 2 "paper_type": "empirical", 3 "reason": "The paper presents FLOWREPAIR, a new tool for automated program repair of CPS controllers, and validates it experimentally on 9 case study systems with quantitative results (plausible and valid patch counts, baseline comparisons, statistical testing)." 4 }