Publications in collaboration with researchers from Korea Advanced Institute of Science and Technology (1)

2023

  1. Search-based Test Case Selection for PLC Systems using Functional Block Diagram Programs

    Proceedings - International Symposium on Software Reliability Engineering, ISSRE