C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
StaticFixer: From Static Analysis to Static Repair.
Naman Jain
Shubham Gandhi
Atharv Sonwane
Aditya Kanade
Nagarajan Natarajan
Suresh Parthasarathy
Sriram K. Rajamani
Rahul Sharma
Published in:
CoRR (2023)
Keyphrases
</>
static analysis
dynamic analysis
source code
reverse engineering
regular expressions
java card
malicious code
symbolic execution
abstract interpretation
test generation
artificial intelligence
open source
data sets
software engineering
test suite
damage assessment