Finding Software Vulnerabilities in Open-Source C Projects via Bounded Model Checking

9 November 2023

Papers citing "Finding Software Vulnerabilities in Open-Source C Projects via Bounded Model Checking"

1 / 1 papers shown

Title
Trust, but Verify: Evaluating Developer Behavior in Mitigating Security Vulnerabilities in Open-Source Software Projects J. Sousa B. Farias Eddie Batista de Lima Filho Lucas C. Cordeiro 20 0 0 26 Aug 2024