, Formalization of relaxed slicing, 2016.
Debugging with dynamic slicing and backtracking, Softw. Pract. Exper, vol.23, issue.6, pp.589-616, 1993. ,
Slicing java programs that throw and catch exceptions, PEPM 2003, pp.44-54, 2003. ,
Slicing for modern program structures: a theory for eliminating irrelevant loops, Inf. Process. Lett, vol.106, issue.2, pp.45-51, 2008. ,
Slicing programs with arbitrary control-flow, AADEBUG 1993, vol.749, pp.206-222, 1993. ,
A trajectory-based strict semantics for program slicing, Theor. Comp. Sci, vol.411, pp.1372-1386, 2010. ,
Interactive Theorem Proving and Program Development, 2004. ,
URL : https://hal.archives-ouvertes.fr/hal-00344237
Theoretical foundations of dynamic program slicing, Theor. Comput. Sci, vol.360, issue.1-3, pp.23-41, 2006. ,
A survey of empirical results on program slicing, Adv. Comput, vol.62, pp.105-178, 2004. ,
Verified validation of program slicing, CPP, vol.2015, pp.109-117, 2015. ,
URL : https://hal.archives-ouvertes.fr/hal-01110821
The semantics of program dependence, p.PLDI, 1989. ,
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
Program slicing enhances a verification technique combining static and dynamic analysis, 2012. ,
URL : https://hal.archives-ouvertes.fr/hal-00746814
A unifying theory of control dependence and its application to arbitrary program structures, Theor. Comput. Sci, vol.412, issue.49, pp.6809-6842, 2011. ,
DyTa: dynamic symbolic execution guided with static verification results, the 33rd International Conference on Software Engineering (ICSE 2011), pp.992-994, 2011. ,
Non-standard semantics for program slicing, Order Symbolic Comput, vol.16, issue.4, pp.297-339, 2003. ,
Using program slicing to simplify testing, Softw. Test. Verif. Reliab, vol.5, issue.3, pp.143-162, 1995. ,
Slicing programs in the presence of errors, Formal Aspects Comput, vol.8, issue.4, pp.490-497, 1996. ,
Using program slicing to assist in the detection of equivalent mutants, Softw. Test. Verif. Reliab, vol.9, issue.4, pp.233-262, 1999. ,
Interprocedural slicing using dependence graphs, p.PLDI, 1988. ,
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
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
Formal verification of a realistic compiler, Commun. ACM, vol.52, issue.7, pp.107-115, 2009. ,
URL : https://hal.archives-ouvertes.fr/inria-00415861
Transfinite semantics in the form of greatest fixpoint, J. Log. Algebr. Program, vol.78, issue.7, pp.573-592, 2009. ,
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. ,
A new foundation for control dependence and slicing for modern program structures, ACM Trans. Program. Lang. Syst, vol.29, issue.5, 2007. ,
The semantics of program slicing and program integration, 1989. ,
The semantics of program slicing, 1988. ,
A vocabulary of program slicing-based techniques, ACM Comput. Surv, vol.44, issue.3, p.12, 2012. ,
A survey of program slicing techniques, J. Prog. Lang, vol.3, issue.3, pp.121-189, 1995. ,
From formal semantics to verified slicing: a modular framework with applications in language based security, Karlsruhe Inst. of Techn, 2011. ,
Program slicing, p.ICSE, 1981. ,
Programmers use slices when debugging, Commun. ACM, vol.25, issue.7, pp.446-452, 1982. ,
Program slicing, IEEE Trans. Softw. Eng, vol.10, issue.4, pp.352-357, 1984. ,
A brief survey of program slicing, ACM SIGSOFT Softw. Eng. Notes, vol.30, issue.2, pp.1-36, 2005. ,