JTExpert at the Third Unit Testing Tool Competition | IEEE Conference Publication | IEEE Xplore