Static Backward Program Slicing for Safety Critical Systems
(Jun 2015) Husni Khanfar, Björn Lisper, Abu Naser Masud The 20th International Conference on Reliable Software Technologies (Ada-Europe-2015)
A Survey on Static Data Race Detection Methods
(Mar 2016) Abu Naser Masud
We are using cookies to give you the best experience on our site. Cookies are files stored in your browser and are used by most websites to help personalise your web experience.