1 |
D. Shin, E. Jee, and D. H. Bae, "Empirical evaluation on FBD model-based test coverage criteria using mutation analysis," International Conference on Model Driven Engineering Languages and Systems, pp.465-479, 2012.
|
2 |
A. T. Acree, T. A. Budd, R. A. DeMillo, R. J. Lipton, and F. G. Sayward, "Mutation Analysis," Technical Report GIT-ICS-79/08, School of Information and Computer Science, Georgia Institute of Technology, 1979.
|
3 |
International Electrotechnical Commission (IEC), "IEC61131-3: International Standard for Programmable Controllers - Part 3: Programming Languages," 2013.
|
4 |
Doosan Heavy Industry & Construction, "Software design specification for the bistable processor of the reactor protection system," KNICS.RPS.SDS231-01, Rev.01, 2006. (In Korean)
|
5 |
M. R. Woodward, "Mutation testing-its origin and evolution," Information and Software Technology, Vol.35, No.3, pp.163-169, 1993.
DOI
|
6 |
E. Jee, J. Song, and D. H. Bae, "Definition and application of mutation operator extensions for FBD programs," KIISE Transactions on Computing Practices, Vol.24, No.11, pp.589-595, 2018. (in Korean)
DOI
|
7 |
W. Bolton, "Programmable logic controllers," Newnes, 2015.
|
8 |
M. E. Delamaro, J. C. Maldonado, and A. P. Mathur, "Proteum-a tool for the assessment of test adequacy for C programs user's guide," Proceedings of Performability in Computing Systems, Vol.96, pp.79-95, 1996.
|
9 |
R. A. Demillo, "Test Adequacy and Program Mutation," Proceedings of the 11th International Conference on Software Engineering (ICSE), pp.355-356, 1989.
|
10 |
R. A. Demillo, D. S. Guindi, W. M. McCracken, A. J. Offutt, and K. N. King, "An extended overview of the Mothra software testing environment," Proceedings of the Second Workshop on Software Testing, Verification, and Analysis, IEEE, pp.142-151, 1988.
|
11 |
E. P. Enoiu, D. Sundmark, A. Causevic, R. Feldt and P. Pettersson, "Mutation-based test generation for PLC embedded software using model checking," Proceedings of the 28th International Conference on Testing Software and Systems, Lecture Notes in Computer Science, Vol.9976, pp.155-171, 2016.
|
12 |
J. Song, E. Jee, and D. H. Bae, "FBDTester 2.0: Automated test sequence generation for FBD programs with internal memory states," Science of Computer Programming, Vol.163, pp.115-137, 2018.
DOI
|
13 |
E. Jee, D. Shin, S. Cha, J. S. Lee, and D. H. Bae, "Automated test case generation for FBD programs implementing reactor protection system software," Software Testing, Verification and Reliability, Vol.24, No.8, pp.608-628, 2014.
DOI
|