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
Coverage criteria for logical expressions, 14th International Symposium on Software Reliability Engineering, 2003. ISSRE 2003., 2003. ,
DOI : 10.1109/ISSRE.2003.1251034
Introduction to Software Testing, 2008. ,
DOI : 10.1017/CBO9780511809163
Is mutation an appropriate tool for testing experiments?, 27th International Conference on Software Engineering, pp.15-21, 2005. ,
An All-in-One Toolkit for Automated White-Box Testing, 2014. ,
DOI : 10.1007/978-3-319-09099-3_4
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
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
Test case selection strategies based on Boolean specifications, Software Testing, Verification and Reliability, vol.59, issue.3, 2001. ,
DOI : 10.1002/stvr.221
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
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. ,
Hyperproperties, Journal of Computer Security, vol.18, issue.6, pp.1157-1210, 2010. ,
DOI : 10.3233/JCS-2009-0393
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
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
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
Composition of model-based test coverage criteria [18] GCC's Gcov, MBEES, pp.87-94, 2008. ,
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
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
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
Formal methods and testing. chapter Testing Real-time Systems Using UPPAAL, pp.77-117, 2008. ,
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
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
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. ,
Temporal Logic Based Theory of Test Coverage and Generation, Proceedings, chapter, pp.327-341, 2002. ,
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
Hypertesting: The case for automated testing of hyperproperties, 3rd Workshop on Hot Issues in Security Principles and Trust (HotSpot), 2015. ,
Frama-C: A Program Analysis Perspective, Formal Aspects of Computing Journal, 2015. ,
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
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
MediaBench: a tool for evaluating and synthesizing multimedia and communications systems, ACM International Symposium on Microarchitecture, 1997. ,
The Temporal Logic of Reactive and Concurrent Systems Specification, 1992. ,
Foundations of Software Testing, 2008. ,
The Art of Software Testing, 2011. ,
DOI : 10.1002/9781119202486
An empirical evaluation of weak mutation, IEEE Transactions on Software Engineering, vol.20, issue.5, pp.337-344, 1994. ,
DOI : 10.1109/32.286422
Guided test generation for coverage criteria, 2010 IEEE International Conference on Software Maintenance, 2010. ,
DOI : 10.1109/ICSM.2010.5609565
Comprehensive dev. testing tool for C/C++. https ,
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
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
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
Theory of fault-based predicate testing for computer programs, IEEE Trans. Softw. Eng, vol.22, issue.8, pp.552-562, 1996. ,
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. ,
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
A Survey of Coverage-Based Testing Tools, The Computer Journal, vol.52, issue.5, pp.589-597, 2009. ,
DOI : 10.1093/comjnl/bxm021
Software unit test coverage and adequacy, ACM Computing Surveys, vol.29, issue.4, 1997. ,
DOI : 10.1145/267580.267590