A. Abdurazik, P. Amman, W. Ding, and J. Offutt, Evaluation of three specification-based testing criteria, Proceedings Sixth IEEE International Conference on Engineering of Complex Computer Systems. ICECCS 2000, pp.179-187, 2000.
DOI : 10.1109/ICECCS.2000.873943

P. Ammann, A. J. Offutt, and H. Huang, Coverage criteria for logical expressions, 14th International Symposium on Software Reliability Engineering, 2003. ISSRE 2003., 2003.
DOI : 10.1109/ISSRE.2003.1251034

P. Ammann and J. Offutt, Introduction to Software Testing, 2008.
DOI : 10.1017/CBO9780511809163

J. H. Andrews, L. C. Briand, and Y. Labiche, Is mutation an appropriate tool for testing experiments?, 27th International Conference on Software Engineering, pp.15-21, 2005.

S. Bardin, O. Chebaro, M. Delahaye, and N. Kosmatov, An All-in-One Toolkit for Automated White-Box Testing, 2014.
DOI : 10.1007/978-3-319-09099-3_4

S. Bardin, N. Kosmatov, and F. Cheynier, Efficient Leveraging of Symbolic Execution to Advanced Coverage Criteria, 2014 IEEE Seventh International Conference on Software Testing, Verification and Validation, pp.173-182, 2014.
DOI : 10.1109/ICST.2014.30

J. Blom, A. Hessel, B. Jonsson, and P. Pettersson, Specifying and Generating Test Cases Using Observer Automata, Proceedings of the 4th International Conference on Formal Approaches to Software Testing, FATES'04, pp.125-139, 2005.
DOI : 10.1007/3-540-40911-4_20

T. Y. Chen and M. F. Lau, Test case selection strategies based on Boolean specifications, Software Testing, Verification and Reliability, vol.59, issue.3, 2001.
DOI : 10.1002/stvr.221

J. J. Chilenski and S. P. Miller, Applicability of modified condition/decision coverage to software testing, Software Engineering Journal, vol.9, issue.5, pp.193-200, 1994.
DOI : 10.1049/sej.1994.0025

M. R. Clarkson, B. Finkbeiner, M. Koleini, K. K. Micinski, M. N. Rabe et al., Principles of Security and Trust: Third International Conference, Held as Part of the European Joint Conferences on Theory and Practice of Software Proceedings, chapter Temporal Logics for Hyperproperties, pp.265-284, 2014.

M. R. Clarkson and F. B. Schneider, Hyperproperties, Journal of Computer Security, vol.18, issue.6, pp.1157-1210, 2010.
DOI : 10.3233/JCS-2009-0393

R. A. Demillo, R. J. Lipton, and F. G. Sayward, Hints on Test Data Selection: Help for the Practicing Programmer, Computer, vol.11, issue.4, pp.34-41, 1978.
DOI : 10.1109/C-M.1978.218136

H. Do, S. Elbaum, and G. , Supporting Controlled Experimentation with Testing Techniques: An Infrastructure and its Potential Impact, Oct. 2005. [15] Dynamic Code Coverage
DOI : 10.1007/s10664-005-3861-2

P. G. Frankl and E. J. Weyuker, A formal analysis of the fault-detecting ability of testing methods, IEEE Transactions on Software Engineering, vol.19, issue.3, pp.202-213, 1993.
DOI : 10.1109/32.221133

M. Friske, B. Schlingloff, and S. Weißleder, Composition of model-based test coverage criteria [18] GCC's Gcov, MBEES, pp.87-94, 2008.

M. Gligoric, T. Gvero, V. Jagannath, S. Khurshid, V. Kuncak et al., Test generation through programming in UDITA, Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering, ICSE '10, pp.225-234, 2010.
DOI : 10.1145/1806799.1806835

J. Grabowski, D. Hogrefe, G. Réthy, I. Schieferdecker, A. Wiles et al., An introduction to the testing and test control notation (TTCN-3), Computer Networks, vol.42, issue.3, pp.375-403, 2003.
DOI : 10.1016/S1389-1286(03)00249-4

A. Groce, J. Pinto, P. Azimi, and P. Mittal, TSTL: a language and tool for testing (demo), Proceedings of the 2015 International Symposium on Software Testing and Analysis, ISSTA 2015, pp.414-417, 2015.
DOI : 10.1145/2771783.2784769

A. Hessel, K. G. Larsen, M. Mikucionis, B. Nielsen, P. Pettersson et al., Formal methods and testing. chapter Testing Real-time Systems Using UPPAAL, pp.77-117, 2008.

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

A. Holzer, C. Schallhart, M. Tautschnig, and H. Veith, How did you specify your test suite, Proceedings of the IEEE/ACM international conference on Automated software engineering, ASE '10, pp.407-416, 2010.
DOI : 10.1145/1858996.1859084

H. S. Hong, I. Lee, O. Sokolsky, and H. Ural, Tools and Algorithms for the Construction and Analysis of Systems, 8th International Conference, TACAS 2002 Held as Part of the Joint European Conferences on Theory and Practice of Software, 2002.

F. Grenoble, Temporal Logic Based Theory of Test Coverage and Generation, Proceedings, chapter, pp.327-341, 2002.

W. E. Howden, Weak Mutation Testing and Completeness of Test Sets, IEEE Transactions on Software Engineering, vol.8, issue.4, pp.371-379, 1982.
DOI : 10.1109/TSE.1982.235571

J. Kinder, Hypertesting: The case for automated testing of hyperproperties, 3rd Workshop on Hot Issues in Security Principles and Trust (HotSpot), 2015.

F. Kirchner, N. Kosmatov, V. Prevosto, J. Signoles, and B. Yakobowski, Frama-C: A Program Analysis Perspective, Formal Aspects of Computing Journal, 2015.

K. Ku, T. E. Hart, M. Chechik, and D. Lie, A buffer overflow benchmark for software model checkers, Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering , ASE '07, 2007.
DOI : 10.1145/1321631.1321691

J. W. Laski, B. Korel, and L. Ldracover, A Data Flow Oriented Program Testing Strategy, IEEE Transactions on Software Engineering, vol.9, issue.3, pp.347-354, 1983.
DOI : 10.1109/TSE.1983.236871

C. Lee, M. Potkonjak, and W. H. Mangione-smith, MediaBench: a tool for evaluating and synthesizing multimedia and communications systems, ACM International Symposium on Microarchitecture, 1997.

Z. Manna, The Temporal Logic of Reactive and Concurrent Systems Specification, 1992.

P. Mathur and A. , Foundations of Software Testing, 2008.

J. Myers, C. Glenford, T. Sandler, and . Badgett, The Art of Software Testing, 2011.
DOI : 10.1002/9781119202486

A. J. Offutt and S. D. Lee, An empirical evaluation of weak mutation, IEEE Transactions on Software Engineering, vol.20, issue.5, pp.337-344, 1994.
DOI : 10.1109/32.286422

R. Pandita, T. Xie, N. Tillmann, and J. De-halleux, Guided test generation for coverage criteria, 2010 IEEE International Conference on Software Maintenance, 2010.
DOI : 10.1109/ICSM.2010.5609565

C. Parasoft and . C++test, Comprehensive dev. testing tool for C/C++. https

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, pp.965-979, 1990.
DOI : 10.1109/32.58784

S. Rayadurgam and M. P. Heimdahl, Generating MC/DC adequate test sequences through model checking, 28th Annual NASA Goddard Software Engineering Workshop, 2003. Proceedings., 2003.
DOI : 10.1109/SEW.2003.1270730

I. Schieferdecker, Z. R. Dai, J. Grabowski, and A. Rennoch, The UML 2.0 Testing Profile and Its Relation to TTCN-3, Proceedings of the 15th IFIP International Conference on Testing of Communicating Systems, TestCom'03, pp.79-94, 2003.
DOI : 10.1007/3-540-44830-6_7

K. Tai, Theory of fault-based predicate testing for computer programs, IEEE Trans. Softw. Eng, vol.22, issue.8, pp.552-562, 1996.

S. A. Vilkomir and J. P. Bowen, Formal Methods and Testing: An Outcome of the FORTEST Network, Revised Selected Papers, chapter From MC/DC to RC/DC: Formalization and Analysis of Control-Flow Testing Criteria, pp.240-270, 2008.

N. Williams, B. Marre, and P. Mouy, On-the-fly generation of K-path tests for C functions, Proceedings. 19th International Conference on Automated Software Engineering, 2004., 2004.
DOI : 10.1109/ASE.2004.1342749

Q. Yang, J. J. Li, and D. M. Weiss, A Survey of Coverage-Based Testing Tools, The Computer Journal, vol.52, issue.5, pp.589-597, 2009.
DOI : 10.1093/comjnl/bxm021

H. Zhu, P. A. Hall, and J. H. May, Software unit test coverage and adequacy, ACM Computing Surveys, vol.29, issue.4, 1997.
DOI : 10.1145/267580.267590