Login / Signup

CPA-BAM-Slicing: Block-Abstraction Memoization and Slicing with Region-Based Dependency Analysis - (Competition Contribution).

Pavel S. AndrianovVadim S. MutilinMikhail U. MandrykinAnton A. Vasilyev
Published in: TACAS (2) (2018)
Keyphrases
  • dependency analysis
  • program slicing
  • ontology driven
  • impact analysis
  • image segmentation
  • high level
  • semi automatic
  • information entropy
  • rough sets
  • image compression