Davide Falessi, Shiva Nejati, Mehrdad Sabetzadeh, Lionel C. Briand, Antonio Messina. SafeSlice: a model slicing and design safety inspection tool for SysML. In Tibor Gyimóthy, Andreas Zeller, editors, SIGSOFT/FSE'11 19th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-19) and ESEC'11: 13rd European Software Engineering Conference (ESEC-13), Szeged, Hungary, September 5-9, 2011. pages 460-463, ACM, 2011. [doi]
Abstract is missing.