Publications

Forcing small models of conditions on program interleaving for detection of concurrent bugs

• • Ehud Trainin
  • Yarden Nir-Buchbinder
  • et al.
• 2009
• ISSTA 2009