A modern society is a combination of several critical infrastructures, which international and national maritime transportation systems are essential parts. Digitalization makes it possible to increase levels autonomy in systems. It also means fully existing cyberenvironments processes. In cyberenvironments, crucial there trustable information communication between system elements the process, ...

Abstract In this paper, we do automatic correctness assessment for patches generated by program repair systems. We consider the human-written patch as ground truth oracle and randomly generate tests based on it, a technique proposed Shamshiri et al., called Random testing with Ground Truth (RGT) in paper. build curated dataset of 638 Defects4J 14 state-of-the-art systems, evaluate automated dat...

Challenges related to automated driving are no longer focused on just the construction of such vehicles (AVs), but in assuring safety their operation. Recent advances Level 3 and 4 autonomous have motivated more extensive study guarantees complicated AV maneuvers, which aligns with goal ISO 21448 (Safety Intended Functions, or SOTIF), i.e. minimizing unsafe scenarios both known unknown, as well...

BACKGROUND Prolongation of the heart rate corrected QT (QTc) interval is a sensitive marker of torsade de pointes risk; however it is not specific as QTc prolonging drugs that block inward currents are often not associated with torsade. Recent work demonstrated that separate analysis of the heart rate corrected J-Tpeakc (J-Tpeakc) and Tpeak-Tend intervals can identify QTc prolonging drugs with ...