Publication | Closed Access

CUTEst: a Constrained and Unconstrained Testing Environment with safe threads for mathematical optimization

Mathematical ProgrammingMutation-based TestingEngineeringComputational TestingProgram AnalysisSafe ThreadsSoftware TestingComputer EngineeringSoftware AnalysisRobustness TestingCombinatorial Testing WorkflowTest Data GenerationParallel ProgrammingComputer ScienceParallel ComputingTesting EnvironmentFormal Verification