PatchLens recovers compact Boolean predicates (VICs) over configuration options for vulnerabilities from patch analysis in C/C++ systems, showing most vulnerabilities affect only subsets of variants and CVE texts rarely encode the options.
InProceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering (Paderborn, Germany)(ESEC/FSE 2017)
3 Pith papers cite this work. Polarity classification is still indexing.
3
Pith papers citing it
fields
cs.SE 3representative citing papers
MuMuTestUp is a mutation-guided multi-agent framework for updating test cases in evolving software that strengthens assertions via surviving mutants, targets specific coverage gaps, and uses semantic search instead of exact matching.
MutDafny uses 40 mutation operators on 794 real-world Dafny programs to detect weak specifications, manually confirming five such cases at a rate of one per 241 lines.
citing papers explorer
-
MutDafny: A Mutation-Based Approach to Assess Dafny Specifications
MutDafny uses 40 mutation operators on 794 real-world Dafny programs to detect weak specifications, manually confirming five such cases at a rate of one per 241 lines.