Synthetic tests using random operations or statements.