SLAM: SLice And Merge - Effective Test Generation for Large Systems. - Tali Rabetti; Ronny Morad; Alex Goryachev; Wisam Kadry; Richard D. Peterson (Haifa Verification Conference, 2013)