René's URL Explorer Experiment

{"@context":"https://schema.org","@type":"DiscussionForumPosting","headline":"Strange casts in fuzzed Spring tests, sometimes leading to compilation errors","articleBody":"**Description**\r\n\r\nRun unit tests generation for `PetController` class in `spring-petclinic` application.\r\nUse standard settings, just click OK on UI.\r\n\r\n**Actual behavior**\r\n\r\nThe following test is generated (there are more than ten strange tests, this is just an example):\r\n\r\n```java\r\n    @Test\r\n    public void testProcessCreationFormByFuzzer1() {\r\n        Owner ownerMock = mock(Owner.class);\r\n        (((Owner) (doNothing()).when(ownerMock))).addPet(any());\r\n        Pet petMock = mock(Pet.class);\r\n        (when(petMock.getName())).thenReturn(\"duplicate\");\r\n        (when(petMock.isNew())).thenReturn(false);\r\n        LocalDate localDateMock = mock(LocalDate.class);\r\n        (when(localDateMock.isAfter(any()))).thenReturn(true);\r\n        (when(petMock.getBirthDate())).thenReturn(localDateMock);\r\n        BindingResult resultMock = mock(BindingResult.class);\r\n        (((Errors) (doNothing()).when(resultMock))).rejectValue(any(), any());\r\n        (when(resultMock.hasErrors())).thenReturn(true);\r\n        ModelMap model = new ModelMap();\r\n        OwnerRepository ownersMock = mock(OwnerRepository.class);\r\n        PetController petController = new PetController(ownersMock);\r\n        model.put(((Object) \"abc\"), ((Object) petController));\r\n\r\n        String actual = petController.processCreationForm(ownerMock, petMock, resultMock, model);\r\n\r\n        String expected = \"pets/createOrUpdatePetForm\";\r\n\r\n        assertEquals(expected, actual);\r\n    }\r\n```\r\n\r\nNote that there are two types of strange casts: to `Object` and to `Owner`/`Errors`. One of them leads to compilation error.\r\n\r\n**Additional context**\r\n\r\nKirill says that this bug also reproduces on October release.\r\n","author":{"url":"https://github.com/EgorkaKulikov","@type":"Person","name":"EgorkaKulikov"},"datePublished":"2023-12-14T13:21:05.000Z","interactionStatistic":{"@type":"InteractionCounter","interactionType":"https://schema.org/CommentAction","userInteractionCount":1},"url":"https://github.com/2722/UTBotJava/issues/2722"}