, Formalization of relaxed slicing, 2016.

H. Agrawal, R. A. Demillo, and E. H. Spafford, Debugging with dynamic slicing and backtracking, Softw. Pract. Exper, vol.23, issue.6, pp.589-616, 1993.

M. Allen and S. Horwitz, Slicing java programs that throw and catch exceptions, PEPM 2003, pp.44-54, 2003.

T. Amtoft, Slicing for modern program structures: a theory for eliminating irrelevant loops, Inf. Process. Lett, vol.106, issue.2, pp.45-51, 2008.

T. Ball and S. Horwitz, Slicing programs with arbitrary control-flow, AADEBUG 1993, vol.749, pp.206-222, 1993.

R. W. Barraclough, D. Binkley, S. Danicic, M. Harman, R. M. Hierons et al., A trajectory-based strict semantics for program slicing, Theor. Comp. Sci, vol.411, pp.1372-1386, 2010.

Y. Bertot and P. Castéran, Interactive Theorem Proving and Program Development, 2004.
URL : https://hal.archives-ouvertes.fr/hal-00344237

D. Binkley, S. Danicic, T. Gyimóthy, M. Harman, ´. A. Kiss et al., Theoretical foundations of dynamic program slicing, Theor. Comput. Sci, vol.360, issue.1-3, pp.23-41, 2006.

D. Binkley and M. Harman, A survey of empirical results on program slicing, Adv. Comput, vol.62, pp.105-178, 2004.

S. Blazy, A. Maroneze, and D. Pichardie, Verified validation of program slicing, CPP, vol.2015, pp.109-117, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01110821

R. Cartwright and M. Felleisen, The semantics of program dependence, p.PLDI, 1989.

O. Chebaro, P. Cuoq, N. Kosmatov, B. Marre, A. Pacalet et al., Behind the scenes in SANTE: a combination of static and dynamic analyses, Autom. Softw. Eng, vol.21, issue.1, pp.107-143, 2014.
URL : https://hal.archives-ouvertes.fr/hal-00818147

O. Chebaro, N. Kosmatov, A. Giorgetti, and J. Julliand, Program slicing enhances a verification technique combining static and dynamic analysis, 2012.
URL : https://hal.archives-ouvertes.fr/hal-00746814

S. Danicic, R. W. Barraclough, M. Harman, J. Howroyd, ´. A. Kiss et al., A unifying theory of control dependence and its application to arbitrary program structures, Theor. Comput. Sci, vol.412, issue.49, pp.6809-6842, 2011.

X. Ge, K. Taneja, T. Xie, and N. Tillmann, DyTa: dynamic symbolic execution guided with static verification results, the 33rd International Conference on Software Engineering (ICSE 2011), pp.992-994, 2011.

R. Giacobazzi and I. Mastroeni, Non-standard semantics for program slicing, Order Symbolic Comput, vol.16, issue.4, pp.297-339, 2003.

M. Harman and S. Danicic, Using program slicing to simplify testing, Softw. Test. Verif. Reliab, vol.5, issue.3, pp.143-162, 1995.

M. Harman, D. Simpson, and S. Danicic, Slicing programs in the presence of errors, Formal Aspects Comput, vol.8, issue.4, pp.490-497, 1996.

R. M. Hierons, M. Harman, and S. Danicic, Using program slicing to assist in the detection of equivalent mutants, Softw. Test. Verif. Reliab, vol.9, issue.4, pp.233-262, 1999.

S. Horwitz, T. Reps, and D. Binkley, Interprocedural slicing using dependence graphs, p.PLDI, 1988.

F. Kirchner, N. Kosmatov, V. Prevosto, J. Signoles, and B. Yakobowski, Frama-C: a software analysis perspective, Formal Asp. Comput, vol.27, issue.3, pp.573-609, 2015.
URL : https://hal.archives-ouvertes.fr/cea-01808981

B. Kiss, N. Kosmatov, D. Pariente, and A. Puccetti, Combining static and dynamic analyses for vulnerability detection: illustration on heartbleed, HVC 2015, vol.9434, pp.39-50, 2015.
URL : https://hal.archives-ouvertes.fr/cea-01834981

X. Leroy, Formal verification of a realistic compiler, Commun. ACM, vol.52, issue.7, pp.107-115, 2009.
URL : https://hal.archives-ouvertes.fr/inria-00415861

H. Nestra, Transfinite semantics in the form of greatest fixpoint, J. Log. Algebr. Program, vol.78, issue.7, pp.573-592, 2009.

A. Podgurski and L. A. Clarke, A formal model of program dependences and its implications for software testing, debugging, and maintenance, IEEE Trans. Softw. Eng, vol.16, issue.9, pp.965-979, 1990.

V. P. Ranganath, T. Amtoft, A. Banerjee, J. Hatcliff, and M. B. Dwyer, A new foundation for control dependence and slicing for modern program structures, ACM Trans. Program. Lang. Syst, vol.29, issue.5, 2007.

T. W. Reps and W. Yang, The semantics of program slicing and program integration, 1989.

T. W. Reps and W. Yang, The semantics of program slicing, 1988.

J. Silva, A vocabulary of program slicing-based techniques, ACM Comput. Surv, vol.44, issue.3, p.12, 2012.

F. Tip, A survey of program slicing techniques, J. Prog. Lang, vol.3, issue.3, pp.121-189, 1995.

D. Wasserrab, From formal semantics to verified slicing: a modular framework with applications in language based security, Karlsruhe Inst. of Techn, 2011.

M. Weiser, Program slicing, p.ICSE, 1981.

M. Weiser, Programmers use slices when debugging, Commun. ACM, vol.25, issue.7, pp.446-452, 1982.

M. Weiser, Program slicing, IEEE Trans. Softw. Eng, vol.10, issue.4, pp.352-357, 1984.

B. Xu, J. Qian, X. Zhang, Z. Wu, and L. Chen, A brief survey of program slicing, ACM SIGSOFT Softw. Eng. Notes, vol.30, issue.2, pp.1-36, 2005.