Testing Software and Systems : 24th IFIP WG 6.1 International Conference, ICTSS 2012, Aalborg, Denmark, November 19-21, 2012, Proceedings - Brian Nielsen, Carsten Weise ((Lecture Notes in Computer Science))