• Shi J, Chen Y, Li Q, Huang Y, Yang Y and Zhao M. Automated Test Cases Generator for IEC 61131-3 Structured Text Based Dynamic Symbolic Execution. IEEE Transactions on Computers. 10.1109/TC.2024.3351285. 73:4. (1048-1059).

    https://ieeexplore.ieee.org/document/10384480/

  • Buchgeher G, Dorninger B, Klammer C, Walchshofer A and Kern A. (2022). Migrating Cyber-Physical Systems to OPC UA. Procedia Computer Science. 10.1016/j.procs.2022.01.226. 200. (276-283).

    https://linkinghub.elsevier.com/retrieve/pii/S1877050922002356

  • Klammer C, Wetzlmaier T, Pfeiffer M, Steiner T and Konnerth M. (2021). Testing Autogenerated OPC UA NodeSet Models for Product Variants in Industry. Software Quality: Future Perspectives on Software Engineering Quality. 10.1007/978-3-030-65854-0_2. (15-29).

    https://link.springer.com/10.1007/978-3-030-65854-0_2