PyLC: A Framework for Transforming and Validating PLC Software using Python and Pynguin Test Generator-Reference-Cited by-同舟云学术

PyLC: A Framework for Transforming and Validating PLC Software using Python and Pynguin Test Generator

Published:2023-03-27 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 38th ACM/SIGAPP Symposium on Applied Computing
language:
Short-container-title:

Author:

Ebrahimi Salari Mikael¹^ORCID,Enoiu Eduard Paul¹^ORCID,Afzal Wasif¹^ORCID,Seceleanu Cristina¹^ORCID

Affiliation:

1. Academy for Innovation, Design and Technology (IDT), Malardalen University, Västerås, Västmanland, Sweden

Funder

Horizon 2020 Framework Programme

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/3555776.3577698

Reference16 articles.

1. Many Independent Objective (MIO) Algorithm for Test Suite Generation

2. Ron Bell . 2006 . Introduction to IEC 61508 . In Acm international conference proceeding series , Vol. 162 . Citeseer, 3--12. Ron Bell. 2006. Introduction to IEC 61508. In Acm international conference proceeding series, Vol. 162. Citeseer, 3--12.

3. Testing-based translation validation of generated code in the context of IEC 61508

4. Automated test generation using model checking: an industrial evaluation

5. Whole Test Suite Generation

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

1. A Platform-Independent Code Model for Operation and Information Technologies Convergences in Industrial Edge Applications;2024 IEEE 33rd International Symposium on Industrial Electronics (ISIE);2024-06-18

2. Domain‐specific translation tool from structured text to C source code with code readability enhancement in programmable logic controllers;Concurrency and Computation: Practice and Experience;2024-04-11

3. Automated Test Cases Generator for IEC 61131-3 Structured Text Based Dynamic Symbolic Execution;IEEE Transactions on Computers;2024-04

4. Automating Test Generation of Industrial Control Software Through a PLC-to-Python Translation Framework and Pynguin;2023 30th Asia-Pacific Software Engineering Conference (APSEC);2023-12-04

5. VeriDevOps Software Methodology: Security Verification and Validation for DevOps Practices;Proceedings of the 18th International Conference on Availability, Reliability and Security;2023-08-29