Login / Signup

Automatic Stub Generation for Dynamic Symbolic Execution of ARM binary.

Anh T. V. NguyenMizuhito Ogawa
Published in: SoICT (2022)
Keyphrases
  • symbolic execution
  • software engineering
  • database
  • relational databases
  • general purpose
  • integrity constraints
  • specification language
  • test data generation