Login / Signup

Program Slicing Analysis with KLEE, DIVINE and Frama-C.

Nitin KumarShreya NeemaMadhusmita DasBiju R. Mohan
Published in: ICAC (2021)
Keyphrases
  • machine learning
  • artificial intelligence
  • special case
  • constraint satisfaction
  • quality control