Model-Driven Fault Injection in Java Source Code | IEEE Conference Publication | IEEE Xplore