Ehud Trainin

Publication Activity (10 Years)

Years Active: 2009-2009
Publications (10 Years): 0

Publications

Ehud Trainin, Yarden Nir-Buchbinder, Rachel Tzoref-Brill, Aviad Zlotnick, Shmuel Ur, Eitan Farchi
Forcing small models of conditions on program interleaving for detection of concurrent bugs. PADTAD (2009)