R. Alur, C. Courcoubetis, and D. Dill, Model-checking for real-time systems, In: Logic in Computer Science. pp. IEEE, pp.414-425, 1990.

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

P. E. Black, Modeling and marshaling: making tests from model checker counterexamples, 19th DASC. 19th Digital Avionics Systems Conference. Proceedings (Cat. No.00CH37126), 2000.
DOI : 10.1109/DASC.2000.886880

C. Cadar, D. Dunbar, and D. R. Engler, KLEE: Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs, Symposium on Operating Systems Design and Implementation, 2008.

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, 1978.
DOI : 10.1109/C-M.1978.218136

R. A. Demillo and J. A. Offutt, Constraint-based automatic test data generation, IEEE Transactions on Software Engineering, vol.17, issue.9, pp.900-910, 1991.
DOI : 10.1109/32.92910

E. Enoiu, A. Cau?evi´cau?evi´c, T. J. Ostrand, E. J. Weyuker, D. Sundmark et al., Automated test generation using model checking: an industrial evaluation, Journal on Software Tools for Technology Transfer, 2014.
DOI : 10.1109/ICSE.2013.6606556

G. Fraser and A. Arcuri, EvoSuite, Proceedings of the 19th ACM SIGSOFT symposium and the 13th European conference on Foundations of software engineering, SIGSOFT/FSE '11, 2011.
DOI : 10.1145/2025113.2025179

G. Fraser, F. Wotawa, and P. E. Ammann, Testing with model checkers: a survey, Software Testing, Verification and Reliability, vol.1, issue.1-2, 2009.
DOI : 10.1109/MTV.2006.10
URL : http://www.ist.tugraz.at/staff/fraser/papers/SNA-TR-2007-P2-04.pdf

G. Fraser and A. Zeller, Mutation-Driven Generation of Unit Tests and Oracles, IEEE Transactions on Software Engineering, vol.38, issue.2, pp.278-292, 2012.
DOI : 10.1109/TSE.2011.93

A. Gargantini, Using Model Checking to Generate Fault Detecting Tests, International Conference on Tests and Proofs, pp.189-206, 2007.
DOI : 10.1007/978-3-540-73770-4_11

G. Gay, M. Staats, M. Whalen, and M. Heimdahl, The Risks of Coverage-Directed Test Case Generation, IEEE Transactions on Software Engineering, vol.41, issue.8, 2015.
DOI : 10.1109/TSE.2015.2421011

J. C. Godskesen, B. Nielsen, and A. Skou, Connectivity testing through modelchecking, pp.167-184, 2004.
DOI : 10.1007/978-3-540-30232-2_11
URL : http://www.cs.aau.dk/%7Ebnielsen/Published/connectivity.pdf

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

L. Inozemtseva and R. Holmes, Coverage is not strongly correlated with test suite effectiveness, Proceedings of the 36th International Conference on Software Engineering, ICSE 2014, 2014.
DOI : 10.1145/2568225.2568271

M. Jamro, POU-Oriented Unit Testing of IEC 61131-3 Control Software, IEEE Transactions on Industrial Informatics, vol.11, issue.5, 2015.
DOI : 10.1109/TII.2015.2469257

Y. Jia and M. Harman, Higher Order Mutation Testing, Information and Software Technology, vol.51, issue.10, pp.1379-1393, 2009.
DOI : 10.1016/j.infsof.2009.04.016

K. H. John and M. Tiegelkamp, IEC 61131-3: Programming Industrial Automation Systems, 2010.

R. Just, D. Jalali, L. Inozemtseva, M. D. Ernst, R. Holmes et al., Are mutants a valid substitute for real faults in software testing?, Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering, FSE 2014, pp.654-665, 2014.
DOI : 10.1109/ICSE.2007.37

K. G. Larsen, P. Pettersson, and W. Yi, Uppaal in a nutshell, International Journal on Software Tools for Technology Transfer, vol.1, issue.1-2, 1997.
DOI : 10.1007/s100090050010

Y. Oh, J. Yoo, S. Cha, and H. Seong-son, Software Safety Analysis of FBD using Fault Trees, In: Reliability Engineering & System Safety, vol.88, 2005.

V. Okun, P. E. Black, and Y. Yesha, Testing with model checker: Insuring fault visibility, In: System Science and Applied Mathematics, 2003.

A. Orso and G. Rothermel, Software testing: a research travelogue, Proceedings of the on Future of Software Engineering, 2000.

D. Shin, E. Jee, and D. H. Bae, Empirical Evaluation on FBD Model-Based Test Coverage Criteria Using Mutation Analysis, 2012.
DOI : 10.1007/978-3-642-33666-9_30

H. Simon, N. Friedrich, S. Biallas, and . Hauck-stattelmann, Automatic test case generation for PLC programs using coverage metrics, 2015 IEEE 20th Conference on Emerging Technologies & Factory Automation (ETFA), 2015.
DOI : 10.1109/ETFA.2015.7301602

M. Woodward and K. Halewood, From weak to strong, dead or alive? an analysis of some mutation testing issues, [1988] Proceedings. Second Workshop on Software Testing, Verification, and Analysis, 1988.
DOI : 10.1109/WST.1988.5370

Y. C. Wu and C. F. Fan, Automatic Test Case Generation for Structural Testing of FBD, Information and Software Technology, 2014.