Publication | Closed Access

Software traceability in the automotive domain: Challenges and solutions

Software MaintenanceAutomotive EngineeringEngineeringProgram AnalysisSoftware TraceabilitySoftware TestingSoftware EngineeringSystems EngineeringComputer ScienceSoftware Requirement SpecificationStatic Program AnalysisSoftware AnalysisSystem SoftwareSoftware DesignFormal Verification