Modified random execution generation