Telecharger Cours

Analyses automatiques (draft) (mais pas le Test unitaire, autre cours)

d'exécutions et non pas quelques cas comme dans le test. C'est indécidable en général, pire que NP-Complet dans bcp de cas pratique. Mais très utilisé pour.



Download