Sixth International Workshop on Search-Based Software Testing (SBST 2013): Workshop Summary | IEEE Conference Publication | IEEE Xplore