Sign in

Evaluating and Improving Static Analysis Tools Via Differential Mutation Analysis.

Alex GroceIftekhar AhmedJosselin FeistGustavo GriecoJiri GesiMehran MeidaniQihong Chen
Published in: QRS (2021)
Keyphrases
  • static analysis
  • dynamic analysis
  • source code
  • abstract interpretation
  • data analysis
  • domain knowledge
  • open source