Iterative Context Bounding for Systematic Testing of Multithreaded Programs
https://www.powershow.com/view4/5ba9cc-MjE5Z/Iterative_Context_Bounding_for_Systematic_Testing_of_Multithreaded_Programs_powerpoint_ppt_presentation
Icons create by Freepik from www.flaticon.com/
