Design and Implementation of a Java Fault Injector for Exhaustif® SWIFI Tool | IEEE Conference Publication | IEEE Xplore