Software Quality Journal · 2014 · 44 citations · 41 references
Software MaintenanceEngineeringVerificationSoftware EngineeringSoftware AnalysisFormal VerificationSoftware Performance TestingTest AutomationSystems EngineeringRuntime VerificationSystem TestingComputer EngineeringComputer ScienceAutomated AnalysisStatic Program AnalysisSoftware DesignProgram AnalysisSoftware TestingSystem Software
41