Publication | Closed Access

An approach for modeling and detecting software performance antipatterns based on first-order logics

Software MaintenanceEngineeringVerificationSoftware EngineeringModel CheckingSoftware AnalysisFormal VerificationFirst-order LogicsSystems EngineeringSoftware Performance AntipatternsRuntime VerificationComputer EngineeringComputer ScienceStatic Program AnalysisSoftware DesignSoftware VerificationProgram AnalysisSoftware TestingFormal MethodsSystem Performance AnalysisSystem Software