Publications en collaboration avec des chercheurs de 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