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: CoRR (2024)
Keyphrases
  • static analysis
  • dynamic analysis
  • source code
  • java card
  • error rate
  • malicious code
  • symbolic execution
  • decision trees
  • database systems
  • building blocks
  • regular expressions
  • test generation
  • usability testing