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]
Abstract is missing.