1. A method for predicting execution paths of at least one target program of a plurality of programs that are run in parallel comprising: generating first execution flows of the plurality of programs; executing the plurality of programs to obtain debug logs from the plurality of programs; identifying communication messages transmitted between the execution flows from the debug logs; deducing, by at least one hardware processor, that at least one conditional branch was taken in at least one given execution flow of the first execution flows by the target program based on the communication messages and removing, based on said deducing, at least one conditional branch that was not taken from the given execution flow; and outputting modified execution flows that were modified in accordance with said removing to indicate predicted execution paths of the at least one target program.