SamaTulyata: An Efficient Path Based Equivalence Checking Tool.

Soumyadip Bandyopadhyay Santonu Sarkar Dipankar Sarkar Chittaranjan A. Mandal

Published in: ATVA (2017)

Keyphrases

spectral clustering
software tools
analysis tool
real time
data sets
machine learning
search engine
computer vision
image sequences
reinforcement learning
digital libraries
software engineering
computationally efficient