Assuring a robustness of the pWCET estimation (all the paths of the program have been visited at least once). For certification purpose we target 100% code coverage.