1. A method for checking a software entity in a computerized environment comprising a processor, the method comprises: providing a directed acyclic graph representative of possible execution paths of the software entity; wherein multiple successor nodes that succeed a parent node are associated with original execution probabilities; determining execution probabilities for each of the successor nodes; wherein for at least a portion of the successor nodes the execution probability is different than the original execution probability; checking the software entity by the processor; wherein said checking comprises: determining a first state of the software entity; wherein the first state is associated with the software entity executing the parent node; randomly selecting a successor node out of the multiple successor nodes; wherein said randomly selecting is performed based on a stochastic selection based on the determined execution probabilities; modifying the first state of the software entity to a second state of the software entity, the second state is associated with the software entity executing the randomly selected successor node; and whereby a state of the computerized environment is modified in accordance with the successor node.