Login / Signup

Symbiotic 9: String Analysis and Backward Symbolic Execution with Loop Folding - (Competition Contribution).

Marek ChalupaVincent MihalkovicAnna RechtáckováLukás ZaoralJan Strejcek
Published in: TACAS (2) (2022)
Keyphrases
  • symbolic execution
  • database
  • static analysis
  • data sets
  • artificial intelligence
  • search space
  • evolutionary algorithm
  • building blocks
  • regular expressions