STA 2012: The Fourth IEEE International Workshop on Software Test Automation | IEEE Conference Publication | IEEE Xplore