Login / Signup

Supporting Error Chains in Static Analysis for Precise Evaluation Results and Enhanced Usability.

Anna-Katharina WickertMichael SchlichtigMarvin VogelLukas WinterMira MeziniEric Bodden
Published in: SANER (2024)
Keyphrases
  • static analysis
  • dynamic analysis
  • source code
  • data sets
  • error rate
  • usability evaluation
  • java card
  • malicious code
  • symbolic execution
  • real world
  • regular expressions
  • user centered
  • heuristic evaluation