Testing software and systems 25th IFIP EG 6.1 International Conference, ICTSS 2013, Istanbul, Turkey, November 13 - 15, 2013 ; proceedings (Springer, 2013)