Proceedings of the International Workshop on Dynamic Analysis (WODA)