, Introduction to Software Testing, 2017.
Data flow analysis techniques for test data selection, pp.272-278, 1982. ,
Sound and quasi-complete detection of infeasible test requirements, pp.1-10, 2015. ,
URL : https://hal.archives-ouvertes.fr/cea-01836560
Generic and effective specification of structural test objectives, pp.436-441, 2017. ,
URL : https://hal.archives-ouvertes.fr/cea-01357487
An applicable family of data flow testing criteria, IEEE Trans. Softw. Eng, vol.14, issue.10, pp.1483-1498, 1988. ,
Selecting software test data using data flow information, IEEE Trans. Softw. Eng, vol.11, issue.4, pp.367-375, 1985. ,
Interprocedual data flow testing, SIGSOFT Softw. Eng. Notes, vol.14, issue.8, pp.158-167, 1989. ,
The cost of data flow testing: An empirical study, IEEE Trans. Software Eng, vol.16, pp.121-128, 1990. ,
A formal evaluation of data flow path selection criteria, IEEE Trans. Softw. Eng, vol.15, issue.11, pp.1318-1332, 1989. ,
A survey on data-flow testing, ACM Comput. Surv, vol.50, issue.1, 2017. ,
Time to clean your test objectives, In: ICSE, pp.456-467, 2018. ,
URL : https://hal.archives-ouvertes.fr/cea-01835503
Taming coverage criteria heterogeneity with LTest, pp.500-507, 2017. ,
URL : https://hal.archives-ouvertes.fr/cea-01808788
Efficient leveraging of symbolic execution to advanced coverage criteria, pp.173-182, 2014. ,
URL : https://hal.archives-ouvertes.fr/cea-01836307
Combining symbolic execution and model checking for data flow testing, pp.654-665, 2015. ,
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
A unified approach to global program optimization, pp.194-206, 1973. ,
Applications of boolean matrices to the analysis of flow diagrams, In: Eastern Joint IRE-AIEE-ACM Computer Conference, 1959. ,