Method to generate test suite for a source-code, test cases being preliminary stored on a memory accessible to computer means, the method being implemented by said computer means, said method comprising: a) implementing a structural analysis of said source-code to obtain a completed source-code including: - parsing the source-code, - addition of annotations defining tests objectives into the source-code, wherein a test objective is the combination of a particular statement s of a function f of the source-code and a Boolean formula F, - generation of stubs corresponding to the source-code; b) implementing at least one semantic analysis algorithm on said completed source-code including categorizing each set of tests objectives into a single one of the following categories: i/ set of tests objectives that are satisfied by using as inputs test cases including test parameters stored on the memory; ii/ set of tests objectives that are impossible to satisfy with any test case; iii/ set of tests objectives that are, at least temporarily, unsatisfied; c) feeding a first list of set of test cases with test cases that satisfy the test objectives of category i/; d) feeding a second list of test objectives with test objectives that are impossible to satisfy and pertaining to category ii/, e) if the category iii/ is not empty, implementing at least one mathematical optimization algorithm on parts of said completed source-code corresponding to test objectives of category iii/ including: - identifying test cases that satisfy at least a part of said test objectives, - feeding said first list of set of test cases with test cases that satisfy said test objectives, - categorizing said test objectives in category i/; f) providing a test suite comprising said first list obtained in step c and completed in step e and said second list obtained in step d corresponding to said source-code. a) implementing a structural analysis of said source-code to obtain a completed source-code including: - parsing the source-code, - addition of annotations defining tests objectives into the source-code, wherein a test objective is the combination of a particular statement s of a function f of the source-code and a Boolean formula F, - generation of stubs corresponding to the source-code; - parsing the source-code, - addition of annotations defining tests objectives into the source-code, wherein a test objective is the combination of a particular statement s of a function f of the source-code and a Boolean formula F, - generation of stubs corresponding to the source-code; b) implementing at least one semantic analysis algorithm on said completed source-code including categorizing each set of tests objectives into a single one of the following categories: i/ set of tests objectives that are satisfied by using as inputs test cases including test parameters stored on the memory; ii/ set of tests objectives that are impossible to satisfy with any test case; iii/ set of tests objectives that are, at least temporarily, unsatisfied; i/ set of tests objectives that are satisfied by using as inputs test cases including test parameters stored on the memory; ii/ set of tests objectives that are impossible to satisfy with any test case; iii/ set of tests objectives that are, at least temporarily, unsatisfied; c) feeding a first list of set of test cases with test cases that satisfy the test objectives of category i/; d) feeding a second list of test objectives with test objectives that are impossible to satisfy and pertaining to category ii/, e) if the category iii/ is not empty, implementing at least one mathematical optimization algorithm on parts of said completed source-code corresponding to test objectives of category iii/ including: - identifying test cases that satisfy at least a part of said test objectives, - feeding said first list of set of test cases with test cases that satisfy said test objectives, - categorizing said test objectives in category i/; - identifying test cases that satisfy at least a part of said test objectives, - feeding said first list of set of test cases with test cases that satisfy said test objectives, - categorizing said test objectives in category i/; f) providing a test suite comprising said first list obtained in step c and completed in step e and said second list obtained in step d corresponding to said source-code.