Login / Signup

DEL: Dynamic Symbolic Execution-based Lifter for Enhanced Low-Level Intermediate Representation.

Hany AbdelmaksoudZain Alabedin Haj HammadehGörschwin FeyDaniel Lüdtke
Published in: DATE (2023)
Keyphrases
  • intermediate representation
  • low level
  • symbolic execution
  • intermediate level
  • high level
  • test data generation
  • test generation
  • simulated annealing
  • tightly coupled
  • databases
  • search algorithm
  • specification language