C. Ballabriga and H. Cassé, Improving the WCET Computation Time by IPET Using Control Flow Graph Partitioning, 8th Intl. Workshop on Worst- Case Execution Time (WCET) Analysis Schloss Dagstuhl -Leibniz-Zentrum fuer Informatik, 2008.

K. Berkenkötter and R. Kirner, 13 Real-Time and Hybrid Systems Testing, Time and Hybrid Systems Testing, pp.355-387, 2005.
DOI : 10.1007/11498490_16

G. Bernat, A. Colin, and S. M. Petters, WCET analysis of probabilistic hard real-time systems, 23rd IEEE Real-Time Systems Symposium, 2002. RTSS 2002., p.279, 2002.
DOI : 10.1109/REAL.2002.1181582

U. Brandes, A faster algorithm for betweenness centrality*, The Journal of Mathematical Sociology, vol.113, issue.2, pp.163-177, 2001.
DOI : 10.1016/S0378-8733(97)00007-5

E. Clarke, D. Kroening, and F. Lerda, A Tool for Checking ANSI-C Programs, Tools and Algorithms for the Construction and Analysis of Systems, pp.168-176, 2004.
DOI : 10.1007/978-3-540-24730-2_15

M. De-michiel, A. Bonenfant, H. Cass, and P. Sainrat, Static Loop Bound Analysis of C Programs Based on Flow Analysis and Abstract Interpretation, 2008 14th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, pp.161-168, 2008.
DOI : 10.1109/RTCSA.2008.53

A. Ermedahl, C. Sandberg, J. Gustafsson, S. Bygde, and B. Lisper, Loop Bound Analysis based on a Combination of Program Slicing, Abstract Interpretation, and Invariant Analysis, 7th Intl. Workshop on Worst-Case Execution Time (WCET) Analysis Internationales Begegnungsund Forschungszentrum f " ur Informatik (IBFI), Schloss Dagstuhl, 2007.

R. Ernst and W. Ye, Embedded program timing analysis based on path clustering and architecture classification, Proceedings of IEEE International Conference on Computer Aided Design (ICCAD) ICCAD-97, pp.598-604, 1997.
DOI : 10.1109/ICCAD.1997.643600

R. Heckmann and C. Ferdinand, Worst-case execution time prediction by static program analysis, 2009.

]. A. Holzer, C. Schallhart, M. Tautschnig, and H. Veith, FShell: Systematic Test Case Generation for Dynamic Analysis and Measurement, Proceedings of the 20th International Conference on Computer Aided Verification, pp.209-213, 2008.
DOI : 10.1007/978-3-540-70545-1_20

A. Holzer, C. Schallhart, M. Tautschnig, and H. Veith, Query-Driven Program Testing, Proceedings of the Tenth International Conference on Verification, Model Checking, and Abstract Interpretation, pp.151-166, 2009.
DOI : 10.1007/978-3-540-93900-9_15

R. Johnson, D. Pearson, and K. Pingali, The program structure tree, ACM SIGPLAN Notices, vol.29, issue.6, pp.171-185, 1994.
DOI : 10.1145/773473.178258

R. Kirner, Towards Preserving Model Coverage and Structural Code Coverage, EURASIP Journal on Embedded Systems, vol.19, issue.5, 2009.
DOI : 10.1023/B:LISP.0000029444.99264.c0
URL : http://doi.org/10.1155/2009/127945

R. Kirner and P. Puschner, Obstacles in Worst-Case Execution Time Analysis, 2008 11th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC), pp.333-339, 2008.
DOI : 10.1109/ISORC.2008.65

Y. S. Li and S. Malik, Performance analysis of embedded software using implicit path enumeration, ACM SIGPLAN Notices, vol.30, issue.11, pp.88-98, 1995.
DOI : 10.1145/216633.216666

S. C. Ntafos, A comparison of some structural testing strategies, IEEE Transactions on Software Engineering, vol.14, issue.6, pp.868-874, 1988.
DOI : 10.1109/32.6165

P. P. Puschner and A. V. Schedl, Computing Maximum Task Execution Times ? A Graph-BasedApproach. Real- Time Syst, pp.67-91, 1997.

J. G. Siek, L. Lee, and A. Lumsdaine, The Boost Graph Library: User Guide and Reference Manual (C++ In- Depth Series), 2001.

J. G. Siek, L. Lee, and A. Lumsdaine, The Boost Graph Library, 2009.

I. Wenzel, Measurement-Based Timing Analysis of Superscalar Processors, pp.182-183, 1040.

I. Wenzel, B. Rieder, R. Kirner, and P. Puschner, Automatic Timing Model Generation by CFG Partitioning and Model Checking, Design, Automation and Test in Europe, 2005.
DOI : 10.1109/DATE.2005.76
URL : https://hal.archives-ouvertes.fr/hal-00181658

R. Wilhelm, J. Engblom, A. Ermedahl, N. Holsti, S. Thesing et al., The worst-case execution-time problem???overview of methods and survey of tools, ACM Transactions on Embedded Computing Systems, vol.7, issue.3, pp.1-53, 2008.
DOI : 10.1145/1347375.1347389