Complete Properties Extraction from Simulation Traces for Assertions Auto-generation - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Mohamed Hanafy, Hazem Said, Ayman M. Wahba. Complete Properties Extraction from Simulation Traces for Assertions Auto-generation. In 24th IEEE North Atlantic Test Workshop, NATW 2015, Johnson City, NY, USA, May 11-13, 2015. pages 1-6, IEEE, 2015. [doi]

This author has not been identified. Look up 'Mohamed Hanafy' in GoogleThis author has not been identified. Look up 'Hazem Said' in GoogleThis author has not been identified. Look up 'Ayman M. Wahba' in Google

runs on WebDSL