Classification de menaces d'erreurs par analyse statique, simplification syntaxique et test structurel de programmes. (Classification of errors threats by static analysis, program sclicing and structural testing of programs)

Omar Chebaro. Classification de menaces d'erreurs par analyse statique, simplification syntaxique et test structurel de programmes. (Classification of errors threats by static analysis, program sclicing and structural testing of programs). PhD thesis, University of Franche-Comté, Besançon, France, 2011. [doi]