Login / Signup
Tali Rabetti
Publication Activity (10 Years)
Years Active: 2013-2013
Publications (10 Years): 0
Top Topics
Metadata
Open Source
Design Automation
Test Generation
Top Venues
Haifa Verification Conference
</>
Publications
</>
Tali Rabetti
,
Ronny Morad
,
Alex Goryachev
,
Wisam Kadry
,
Richard D. Peterson
SLAM: SLice And Merge - Effective Test Generation for Large Systems.
Haifa Verification Conference
(2013)