1. A method for checking a software entity, the method comprises: providing a direct acyclic graph representative of possible execution paths of the software entity ; wherein multiple successor nodes that succeed a certain parent node are associated with different execution probabilities; randomly selecting a successor node out of the multiple successor nodes in response the execution probabilities; and checking the software entity in response to the selection.