Login / Signup

Exploiting the Sparseness of Control-Flow and Call Graphs for Efficient and On-Demand Algebraic Program Analysis.

Giovanna Kobus ConradoAmir Kafshdar GoharshadyKerim KochekovYun Chen TsaiAhmed Khaled Zaher
Published in: Proc. ACM Program. Lang. (2023)
Keyphrases
  • control flow
  • data flow
  • cloud computing
  • process model
  • machine learning
  • artificial intelligence
  • decision making
  • graph matching
  • software testing
  • transition systems