Blar i HVL Open på forfatter "Bonsangue, Marcello"
-
SymPaths: Symbolic Execution Meets Partial Order Reduction
de Boer, Frank; Bonsangue, Marcello; Johnsen, Einar Broch; Pun, Ka I; Tapia Tarifa, Silvia Lizeth; Tveito, Lars (Peer reviewed; Journal article, 2020)Symbolic execution is an important technique for software analysis, which enables systematic model exploration by following all possible execution paths for a given program. For multithreaded shared variable programs, this ...