Counter-example generation procedure for path-based equivalence checkers - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Ramanuj Chouksey, Chandan Karfa, Kunal Banerjee, Pankaj Kumar Kalita, Purandar Bhaduri. Counter-example generation procedure for path-based equivalence checkers. IET Software, 13(4):280-285, 2019. [doi]

This author has not been identified. Look up 'Ramanuj Chouksey' in GoogleThis author has not been identified. Look up 'Chandan Karfa' in GoogleThis author has not been identified. Look up 'Kunal Banerjee' in GoogleThis author has not been identified. Look up 'Pankaj Kumar Kalita' in GoogleThis author has not been identified. Look up 'Purandar Bhaduri' in Google

runs on WebDSL