An Automatabased Approach to Testing Properties in Event Traces
https://www.powershow.com/view/9fdfe-MTVkN/An_Automatabased_Approach_to_Testing_Properties_in_Event_Traces_powerpoint_ppt_presentation
Icons create by Freepik from www.flaticon.com/
Icons create by Freepik from www.flaticon.com/