Publication | Closed Access

SPL Conqueror: Toward optimization of non-functional properties in software product lines

Mathematical ProgrammingToward OptimizationEngineeringSoftware EngineeringSpl ConquerorSoftware AnalysisFormal VerificationSearch-based Software EngineeringComputer EngineeringSoftware Product LineComputer ScienceProgram OptimizationSoftware Product LinesFunctional ProgrammingSoftware DesignProgram AnalysisSoftware TestingFormal MethodsProduct Line Engineering