Login / Signup

On the Effects of Program Slicing for Vulnerability Detection during Code Inspection: Extended Abstract.

Aurora PapottiFabio MassacciKatja Tuma
Published in: ICSE Companion (2024)
Keyphrases
  • extended abstract
  • program slicing
  • source code
  • description languages
  • formal verification
  • fault localization
  • open source
  • neural network
  • artificial intelligence
  • reverse engineering