Proceedings of the 2013 International Workshop on Joining AcadeMiA and Industry Contributions to testing Automation