René's URL Explorer Experiment

{"@context":"https://schema.org","@type":"DiscussionForumPosting","headline":"Improve executions priorities in minimization","articleBody":"**Description**\r\n\r\nAs is known, it is better to avoid Fuzzer executions when we generate parametrized tests. \r\nSometimes they are really required to increase coverage - the we put a separate region with them under a parameterized test\r\nSometimes we have a pair of absolutely similar executions, but one of them is symbolic and the second is fuzzer one. Thus we should better prefer symbolic.\r\n\r\n**Expected behavior**\r\n\r\nAfter the discussion with Sergey Pospelov and Dmitry Ivanov we decided to do the following:\r\n- first of all we minimize symbolic executions\r\n- if some instructions are not still covered, we use fuzzer executions\r\n\r\n**Potential alternatives**\r\n\r\nThe alternative is to miss all fuzzer executions in parameterized tests. It seems to be worth.\r\n","author":{"url":"https://github.com/EgorkaKulikov","@type":"Person","name":"EgorkaKulikov"},"datePublished":"2022-12-09T13:40:16.000Z","interactionStatistic":{"@type":"InteractionCounter","interactionType":"https://schema.org/CommentAction","userInteractionCount":0},"url":"https://github.com/1504/UTBotJava/issues/1504"}