Login / Signup

Fast Graph Simplification for Path-Sensitive Typestate Analysis through Tempo-Spatial Multi-Point Slicing.

Xiao ChengJiawei RenYulei Sui
Published in: Proc. ACM Softw. Eng. (2024)
Keyphrases
  • real time
  • spatio temporal
  • multiresolution
  • random walk
  • structured data
  • spatial and temporal
  • directed graph
  • neural network
  • search algorithm
  • preprocessing