Abstract: Despite rigorous and exhaustive testing in a ship representative test site prior to going underway for sea trials, programmable logic controller (PLC) based control systems frequently have ...
Abstract: The quality of modern software relies heavily on the effective use of static code analysis tools. To improve their usefulness, these tools should be evaluated using a framework that ...