State machine slicing for optimizing test case generation

Date: 
Thursday, December 7, 2017 to Friday, December 8, 2017
Event date: 
Thursday, December 7, 2017
Authors' names - collaborators: 
Reza Ahmadi,Juergen Dingel
Upload a presentation: 
Event name: 
Progress Report Meeting - Dec 2017