Login / Signup

UAV: Warnings from multiple Automated Static Analysis Tools at a glance.

Tim BuckersClinton CaoMichiel DoesburgBoning GongSunwei WangMoritz BellerAndy Zaidman
Published in: SANER (2017)
Keyphrases
  • static analysis
  • source code
  • case study
  • dynamic analysis
  • symbolic execution
  • integrity constraints
  • regular expressions
  • java card