Automatic extraction of assertions from execution traces of behavioural models - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Alessandro Danese, Tara Ghasempouri, Graziano Pravadelli. Automatic extraction of assertions from execution traces of behavioural models. In Wolfgang Nebel, David Atienza, editors, Proceedings of the 2015 Design, Automation & Test in Europe Conference & Exhibition, DATE 2015, Grenoble, France, March 9-13, 2015. pages 67-72, ACM, 2015. [doi]

This author has not been identified. Look up 'Alessandro Danese' in GoogleThis author has not been identified. Look up 'Tara Ghasempouri' in GoogleThis author has not been identified. Look up 'Graziano Pravadelli' in Google

runs on WebDSL