Publication | Closed Access

Symbolic PathFinder: integrating symbolic execution with model checking for Java bytecode analysis

Program CheckingEngineeringVerificationSoftware EngineeringSoftware AnalysisFormal VerificationIntegrating Symbolic ExecutionStatic CheckingJava Bytecode AnalysisRuntime VerificationSymbolic PathfinderComputer ScienceStatic Program AnalysisSoftware DesignAutomated ReasoningProgram AnalysisSoftware TestingFormal MethodsSymbolic ExecutionSystem Software