Co-located Events

SPIN 2014
International SPIN Symposium on Model Checking of Software
Dates: July 21-23, 2014
Organizers: Neha Rungta and Oksana Tkachuk
Website: SPIN 2014

JAMAICA 2014
Workshop on Joining AcadeMiA and Industry Contributions to Test Automation and Model-based Testing
Date: July 21, 2014
Organizers: Christof Budnik, Gabriella Carrozza, David Faragó, Baris Güldali, Barath Kumar, Vittorio Manetti, Roberto Pietrantuono, Stephan Weißleder
Website: JAMAICA 2014

WODA + PERTEA 2014
The 12th International Workshop on Dynamic Analysis + Workshop on Software and System Performance Testing, Debugging, and Analytics
Date: July 22, 2014
Organizers: Harry Xu, Tao Xie, Shan Lu, Dongmei Zhang, Santosh Nagarakatte and Christoph Csallner
Website: WODA+PERTEA 2014