GZoltar: an eclipse plug-in for testing and debugging | IEEE Conference Publication | IEEE Xplore