FBDTester 2.0: Automated test sequence generation for FBD programs with internal memory states-Reference-Cited by-同舟云学术

FBDTester 2.0: Automated test sequence generation for FBD programs with internal memory states

Published:2018-10 Issue: Volume:163 Page:115-137
ISSN:0167-6423
Container-title:Science of Computer Programming
language:en
Short-container-title:Science of Computer Programming

Author:

Song Jiyoung,Jee Eunkyoung,Bae Doo-Hwan

Funder

Ministry of Education

Ministry of Science and ICT (MSIT)

MSIT

Publisher

Elsevier BV

Subject

Software

Reference41 articles.

1. Programming Languages Popularity and Implications to Testing Programmable Logic Controllers;Enoiu,2015

2. A framework for safety automation of safety-critical systems operations;Acharyulu;Saf. Sci.,2015

3. Doosan Heavy Industry & Construction, KNICS.RPS.SDS231-01, Rev. 01, software design specification for the bistable processor of the reactor protection system, 2006.

4. A classification of PLC models and applications;Mader,2000

5. IEC 61131-3: Programming Industrial Automation Systems Concepts and Programming Languages, Requirements for Programming Systems, Decision-Making Aids;John,2010

Cited by 8 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Automated Simulation-Based Integration Testing for Multiple PLCs in a Reactor Protection System;2023 30th Asia-Pacific Software Engineering Conference (APSEC);2023-12-04

2. PLC orchestration automation to enhance human–machine integration in adaptive manufacturing systems;Journal of Manufacturing Systems;2023-12

3. Search-based Test Case Selection for PLC Systems using Functional Block Diagram Programs;2023 IEEE 34th International Symposium on Software Reliability Engineering (ISSRE);2023-10-09

4. Verification of a safety-related I&C system for nuclear power plant by model checking, test case generation and automatic testing;2022 IEEE 27th International Conference on Emerging Technologies and Factory Automation (ETFA);2022-09-06

5. An Ontology-Based Framework for Formal Verification of Safety and Security Properties of Control Logics;2022 14th International Conference on Electronics, Computers and Artificial Intelligence (ECAI);2022-06-30