2 citations · 3 across the 4 of their papers we have counts for
Showing 2026Show all
2 papers · 1 filter
cs.CR2026
DeepDiff: Neuro-Dynamic Regression-Freedom Checking for Security Patch Validation
Laboni Sarker, Shuvendu K Lahiri
Automatically validating AI-generated security patches remains a significant challenge. Eliminating a reported crash and passing existing test suites do not provide sufficient conf…
cs.PL2026
Quantitative Symbolic Patch Impact Analysis
Laboni Sarker, Abdus Satter, Tevfik Bultan
Traditional equivalence checking classifies programs as equivalent or non-equivalent, providing insufficient information for tasks like patch impact analysis where it is expected t…