Mode-Aware Concolic Testing for PLC Software - Special Session "Formal Methods for the Design and Analysis of Automated Production Systems".

Hendrik Simon, Stefan Kowalewski

Browse the full IFM paper archive.