Publication | Closed Access
Automatic generation of software behavioral models
411
Citations
20
References
2008
Year
Unknown Venue
Software MaintenanceEngineeringSoftware SystemsSoftware EngineeringSoftware AnalysisFormal VerificationModel-based TestingModel CompositionAutomated Software EngineeringSystems EngineeringModel-based Software DevelopmentBehavioral ModelsRuntime VerificationAutomatic GenerationDynamic AnalysisComputer ScienceStatic Program AnalysisSoftware DesignProgram AnalysisSoftware TestingFormal MethodsSystem Software
Dynamic analysis of software systems produces behavioral models that are useful for analysis, verification and testing.
| Year | Citations | |
|---|---|---|
Page 1
Page 1