René's URL Explorer Experiment

{"@context":"https://schema.org","@type":"DiscussionForumPosting","headline":"Bad test is produced when use concrete classes for implementing interface with generic","articleBody":"**Description**\r\n\r\nWhen there're only one implementation of some interface with generic type fuzzing choose this implementation even it is not suitable for a method.\r\n\r\n**To Reproduce**\r\n\r\n1. Use only fuzzer\r\n2. Generate test for method `test`.\r\n\r\n```java\r\npublic class Implementations {\r\n\r\n    public interface A\u003cT\u003e {\r\n        T getValue();\r\n    }\r\n\r\n    public static class AImpl implements A\u003cString\u003e {\r\n\r\n        private final String value;\r\n\r\n        public AImpl(String value) {\r\n            this.value = value;\r\n        }\r\n\r\n        @Override\r\n        public String getValue() {\r\n            return value;\r\n        }\r\n    }\r\n\r\n    public static int test(A\u003cInteger\u003e value) {\r\n        if (value.getValue() \u003c 0) {\r\n            return 0;\r\n        }\r\n        return value.getValue();\r\n    }\r\n}\r\n```\r\n\r\n**Expected behavior**\r\n\r\nThe only one method with null is generated, because there're no other options to create this class by fuzzer.\r\n\r\n**Actual behavior**\r\n\r\n2 tests are generated: with null and other with `AImpl`:\r\n\r\n```java\r\n    @Test\r\n    @DisplayName(\"test: arg_0 = AImpl(String) -\u003e throw ClassCastException\")\r\n    public void testTestThrowsCCE() {\r\n        AImpl aImpl = new AImpl(\"-3E\");\r\n        \r\n        /* This test fails because method [sanity.Implementations.test] produces [java.lang.ClassCastException: java.lang.String cannot be cast to java.lang.Integer]\r\n            sanity.Implementations.test(Implementations.java:24) */\r\n        Implementations.test(aImpl);\r\n    }\r\n```\r\n\r\nThis test cannot be compiled.\r\n\r\n**Additional context**\r\n\r\nThe issue was introduced by 19fc16c9586b3bbce9c1812d6755bf47cfbb6df4\r\n","author":{"url":"https://github.com/Markoutte","@type":"Person","name":"Markoutte"},"datePublished":"2023-07-26T06:00:19.000Z","interactionStatistic":{"@type":"InteractionCounter","interactionType":"https://schema.org/CommentAction","userInteractionCount":0},"url":"https://github.com/2450/UTBotJava/issues/2450"}