Automated test case generation for FBD programs implementing reactor protection system software

Software Testing Verification and Reliability ◽

10.1002/stvr.1548 ◽

2014 ◽

Vol 24 (8) ◽

pp. 608-628 ◽

Author(s):

Eunkyoung Jee ◽

Donghwan Shin ◽

Sungdeok Cha ◽

Jang-Soo Lee ◽

Doo-Hwan Bae

Keyword(s):

Protection System ◽

Test Case Generation ◽

Test Case ◽

System Software ◽

Automated Test Case Generation ◽

Automated Test ◽

Reactor Protection System

Download Full-text

An Ontology-Based Approach to Automated Test Case Generation

SN Computer Science ◽

10.1007/s42979-020-00420-8 ◽

2021 ◽

Vol 2 (1) ◽

Author(s):

Shreya Banerjee ◽

Narayan C. Debnath ◽

Anirban Sarkar

Keyword(s):

Test Case Generation ◽

Test Case ◽

Automated Test Case Generation ◽

Download Full-text

Automated Test Case Generation Based on Differential Evolution with Node Branch Archive

Computers & Industrial Engineering ◽

10.1016/j.cie.2021.107290 ◽

2021 ◽

pp. 107290

Author(s):

Xiaohu Dai ◽

Wenyin Gong ◽

Qiong Gu

Keyword(s):

Differential Evolution ◽

Test Case Generation ◽

Test Case ◽

Automated Test Case Generation ◽

Download Full-text

Automated Test Case Generation for Effective Spectrum-based Fault Localization

Journal of Physics Conference Series ◽

10.1088/1742-6596/1576/1/012042 ◽

2020 ◽

Vol 1576 ◽

pp. 012042

Author(s):

Bo Yang ◽

Yuze He ◽

Lixing Feng

Keyword(s):

Fault Localization ◽

Test Case Generation ◽

Test Case ◽

Automated Test Case Generation ◽

Download Full-text

Automated test case generation approach for PLC control software exception handling using fault injection

IECON 2011 - 37th Annual Conference of the IEEE Industrial Electronics Society ◽

10.1109/iecon.2011.6119280 ◽

2011 ◽

Author(s):

Benjamin Kormann ◽

Birgit Vogel-Heuser

Keyword(s):

Fault Injection ◽

Exception Handling ◽

Test Case Generation ◽

Test Case ◽

Control Software ◽

Plc Control ◽

Automated Test Case Generation ◽

Download Full-text

Automated Test Case Generation for Industrial Control Applications

Recent Advances in Robotics and Automation - Studies in Computational Intelligence ◽

10.1007/978-3-642-37387-9_20 ◽

2013 ◽

pp. 263-273 ◽

Author(s):

Reinhard Hametner ◽

Benjamin Kormann ◽

Birgit Vogel-Heuser ◽

Dietmar Winkler ◽

Alois Zoitl

Keyword(s):

Test Case Generation ◽

Test Case ◽

Industrial Control ◽

Control Applications ◽

Automated Test Case Generation ◽

Download Full-text

RESTful API Automated Test Case Generation

2017 IEEE International Conference on Software Quality, Reliability and Security (QRS) ◽

10.1109/qrs.2017.11 ◽

2017 ◽

Author(s):

Andrea Arcuri

Keyword(s):

Test Case Generation ◽

Test Case ◽

Automated Test Case Generation ◽

Download Full-text

Automated Test Coverage Measurement for Reactor Protection System Software Implemented in Function Block Diagram

Lecture Notes in Computer Science - Computer Safety, Reliability, and Security ◽

10.1007/978-3-642-15651-9_17 ◽

2010 ◽

pp. 223-236 ◽

Author(s):

Eunkyoung Jee ◽

Suin Kim ◽

Sungdeok Cha ◽

Insup Lee

Keyword(s):

Block Diagram ◽

Protection System ◽

Test Coverage ◽

System Software ◽

Function Block ◽

Automated Test ◽

Coverage Measurement ◽

Reactor Protection System

Download Full-text

Applying Automated Test Case Generation in Industry: A Retrospective

2018 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW) ◽

10.1109/icstw.2018.00074 ◽

2018 ◽

Author(s):

Rudolf Ramler ◽

Claus Klammer ◽

Georg Buchgeher

Keyword(s):

Test Case Generation ◽

Test Case ◽

Automated Test Case Generation ◽

Download Full-text

Automated test case generation for spreadsheets

Proceedings of the 24th International Conference on Software Engineering. ICSE 2002 ◽

10.1145/581356.581359 ◽

2002 ◽

Author(s):

Marc Fisher ◽

Mingming Cao ◽

Gregg Rothermel ◽

Curtis R. Cook ◽

Margaret M. Burnett

Keyword(s):

Test Case Generation ◽

Test Case ◽

Automated Test Case Generation ◽

Download Full-text

Search-Based Algorithm With Scatter Search Strategy for Automated Test Case Generation of NLP Toolkit

IEEE Transactions on Emerging Topics in Computational Intelligence ◽

10.1109/tetci.2019.2914280 ◽

2019 ◽

pp. 1-13

Author(s):

Fangqing Liu ◽

Han Huang ◽

Zhongming Yang ◽

Zhifeng Hao ◽

Jiangping Wang

Keyword(s):

Search Strategy ◽

Scatter Search ◽

Test Case Generation ◽

Test Case ◽

Automated Test Case Generation ◽

Download Full-text