Publication | Closed Access

An uncaught exception analysis for Java

Reliability EngineeringEngineeringProgram AnalysisSoftware TestingFormal MethodsSoftware EngineeringUncaught Exception AnalysisStatic CheckingComputer ScienceStatic Program AnalysisSoftware AnalysisFault InjectionFormal Verification