Complete Properties Extraction from Simulation Traces for Assertions Auto-generation

2015 IEEE 24th North Atlantic Test Workshop ◽

10.1109/natw.2015.8 ◽

2015 ◽

Cited By ~ 2

Author(s):

Mohamed Hanafy ◽

Hazem Said ◽

Ayman M. Wahba

Download Full-text