R. W. Barraclough, A trajectory-based strict semantics for program slicing, Theoretical Computer Science, vol.411, issue.11-13, p.13721386, 1113.
DOI : 10.1016/j.tcs.2009.10.025

Y. Bertot and P. Castéran, Interactive Theorem Proving and Program Development, 2004.
DOI : 10.1007/978-3-662-07964-5
URL : https://hal.archives-ouvertes.fr/hal-00344237

O. Chebaro, N. Kosmatov, A. Giorgetti, and J. Julliand, Program slicing enhances a verication technique combining static and dynamic analysis, 2012.

P. Cuoq, F. Kirchner, N. Kosmatov, V. Prevosto, J. Signoles et al., Frama-C, a program analysis perspective, 2012.

M. Harman, D. Simpson, and S. Danicic, Slicing programs in the presence of errors, Formal Aspects of Computing, vol.10, issue.4, p.490497, 1996.
DOI : 10.1007/BF01213536

J. Léchenet, N. Kosmatov, and P. L. Gall, Cut Branches Before Looking for Bugs: Sound Verification on Relaxed Slices
DOI : 10.1145/1050849.1050865

A. Podgurski and L. A. Clarke, A formal model of program dependences and its implications for software testing, debugging, and maintenance, IEEE Transactions on Software Engineering, vol.16, issue.9, p.965979, 1990.
DOI : 10.1109/32.58784

V. P. Ranganath, T. Amtoft, A. Banerjee, J. Hatcli, and M. B. Dwyer, A new foundation for control dependence and slicing for modern program structures, ACM Transactions on Programming Languages and Systems, vol.29, issue.5, 2007.
DOI : 10.1145/1275497.1275502

J. Silva, A vocabulary of program slicing-based techniques, ACM Computing Surveys, vol.44, issue.3, p.12, 2012.
DOI : 10.1145/2187671.2187674

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

M. Weiser, Program Slicing, IEEE Transactions on Software Engineering, vol.10, issue.4, 1981.
DOI : 10.1109/TSE.1984.5010248