René's URL Explorer Experiment

{"@context":"https://schema.org","@type":"DiscussionForumPosting","headline":"Non-deterministic behavior detection in Concrete Executor","articleBody":"**Description**\r\n\r\nWe want to detect non-deterministic behavior in user's code such as Random calls and others while executing it by Concrete Executor.\r\n\r\nCases:\r\n- fuzzing\r\n- executing in the middle of symbolic analyzing\r\n\r\nThere is an issue with a brief description of such a problem in fuzzing #1135\r\n\r\n**Expected behavior**\r\n\r\nWe should generate tests having deterministic behavior.\r\n\r\n**Environment**\r\n\r\nA clear example of this is described in issue #1135 \r\n\r\n**Potential alternatives**\r\n\r\nWe can run user's code several times to understand there is non-deterministic behavior or not.\r\n\r\n**Context**\r\n\r\nClasses with non-deterministic behavior:\r\n- Random:\r\n  - java.util.Random\r\n  - java.security.SecureRandom\r\n  - java.util.concurrent.ThreadLocalRandom\r\n- Any file reading?\r\n- Any networking?\r\n","author":{"url":"https://github.com/SBOne-Kenobi","@type":"Person","name":"SBOne-Kenobi"},"datePublished":"2022-10-20T06:38:23.000Z","interactionStatistic":{"@type":"InteractionCounter","interactionType":"https://schema.org/CommentAction","userInteractionCount":0},"url":"https://github.com/1193/UTBotJava/issues/1193"}