Login / Signup

TracerX: Pruning Dynamic Symbolic Execution with Deletion and Weakest Precondition Interpolation (Competition Contribution).

Arpita DuttaRasool MagharehJoxan JaffarSangharatna GodboleyXiao Liang Yu
Published in: FASE (2024)
Keyphrases
  • symbolic execution
  • test generation
  • test data generation
  • genetic algorithm
  • artificial intelligence
  • search space
  • data sets
  • data flow