Login / Signup
Counter-example generation procedure for path-based equivalence checkers.
Ramanuj Chouksey
Chandan Karfa
Kunal Banerjee
Pankaj Kumar Kalita
Purandar Bhaduri
Published in:
IET Softw. (2019)
Keyphrases
</>
data sets
three dimensional
generation algorithm
neural network
image processing
image segmentation
bayesian networks
multiscale
video sequences
medical images