Publication | Closed Access

Inferring extended finite state machine models from software executions

EngineeringRuntime VerificationProgram AnalysisAutomated ReasoningVerificationFormal MethodsSoftware AnalysisSystems EngineeringSoftware ExecutionsComputer ScienceModel CheckingFinite-state SystemFormal VerificationSystem Software