Login / Signup

Slicing Assisted Program Verification: An Empirical Study.

Wenjian ChaiRongjie YanWenhui ZhangJian Zhang
Published in: TASE (2024)
Keyphrases
  • case study
  • genetic programming
  • reinforcement learning
  • high dimensional
  • open source
  • context aware
  • software systems
  • reverse engineering