Compiler-directed program-fault coverage for highly available Java internet services | IEEE Conference Publication | IEEE Xplore