Publication | Closed Access

Specifying and checking method call sequences of Java programs

Java ProgramsProgram CheckingEngineeringProgram AnalysisSoftware TestingVerificationFormal MethodsStatic CheckingComputer ScienceStatic Program AnalysisSoftware AnalysisSystem SoftwareFormal Verification