TAPFixer: Automatic Detection and Repair of Home Automation Vulnerabilities based on Negated-property Reasoning

12 July 2024

Papers citing "TAPFixer: Automatic Detection and Repair of Home Automation Vulnerabilities based on Negated-property Reasoning"

1 / 1 papers shown

Title
SoK: Towards Effective Automated Vulnerability Repair Ying Li Faysal hossain shezan Bomin wei Gang Wang Yuan Tian 201 2 0 31 Jan 2025