René's URL Explorer Experiment


Title: Add an option to control fuzzing #451 by Markoutte · Pull Request #552 · UnitTestBot/UTBotJava · GitHub

Open Graph Title: Add an option to control fuzzing #451 by Markoutte · Pull Request #552 · UnitTestBot/UTBotJava

X Title: Add an option to control fuzzing #451 by Markoutte · Pull Request #552 · UnitTestBot/UTBotJava

Description: Description Adds a slider to control fuzzing into Tools → UTBot. Slider with label "Code analysis" disables symbolic execution when it's set to the leftmost value (Simpler) or disables fuzzer if it's set to the rightmost value (Deeper). Other slider positions dispense time between symbolic execution and fuzzing. The SettingsWindow was updated according to the Kotlin UI DSL 1.0 guidelines. Fixed an issue when property 'hanging test timeout' was incorrectly deserialized from the settings. Fixes #451 Type of Change Breaking change (fix or feature that would cause existing functionality to not work as expected) How Has This Been Tested? Automated Testing Manual Scenario Set slider to the leftmost position and generate test: only fuzzer test should be generated Set slider to the rightmost position and generate test: only symbolic execution test should be generated Set slider to the middle position and generate test: both fuzzer and symbolic execution test should be generated Checklist: The change followed the style guidelines of the UTBot project Self-review of the code is passed The change contains enough commentaries, particularly in hard-to-understand areas New documentation is provided or existed one is altered No new warnings New tests have been added All tests pass locally with my changes

Open Graph Description: Description Adds a slider to control fuzzing into Tools → UTBot. Slider with label "Code analysis" disables symbolic execution when it's set to the leftmost value (Simpler) or disable...

X Description: Description Adds a slider to control fuzzing into Tools → UTBot. Slider with label "Code analysis" disables symbolic execution when it's set to the leftmost value (Simpler...

Opengraph URL: https://github.com/UnitTestBot/UTBotJava/pull/552

X: @github

direct link

Domain: github.com

route-pattern/:user_id/:repository/pull/:id/files(.:format)
route-controllerpull_requests
route-actionfiles
fetch-noncev2:2e7757af-27c9-ef76-db6a-892de31a63e5
current-catalog-service-hashae870bc5e265a340912cde392f23dad3671a0a881730ffdadd82f2f57d81641b
request-id8F2C:26FDC0:11BFF10:168ED58:69902EC4
html-safe-noncecd96640c77cc2ad594bfa2eb84c9dceb91152a18755208b6053b1bbcbaabb150
visitor-payloadeyJyZWZlcnJlciI6IiIsInJlcXVlc3RfaWQiOiI4RjJDOjI2RkRDMDoxMUJGRjEwOjE2OEVENTg6Njk5MDJFQzQiLCJ2aXNpdG9yX2lkIjoiMzIzODUzMzYzNzkyMzE1NTY1MiIsInJlZ2lvbl9lZGdlIjoiaWFkIiwicmVnaW9uX3JlbmRlciI6ImlhZCJ9
visitor-hmacb43a4949c470d9f360f4291710bf7436b2f518c9c35899866117ace24ba6ca21
hovercard-subject-tagpull_request:1000733970
github-keyboard-shortcutsrepository,pull-request-list,pull-request-conversation,pull-request-files-changed,copilot
google-site-verificationApib7-x98H0j5cPqHWwSMm6dNU4GmODRoqxLiDzdx9I
octolytics-urlhttps://collector.github.com/github/collect
analytics-location///pull_requests/show/files
fb:app_id1401488693436528
apple-itunes-appapp-id=1477376905, app-argument=https://github.com/UnitTestBot/UTBotJava/pull/552/files
twitter:imagehttps://avatars.githubusercontent.com/u/720952?s=400&v=4
twitter:cardsummary_large_image
og:imagehttps://avatars.githubusercontent.com/u/720952?s=400&v=4
og:image:altDescription Adds a slider to control fuzzing into Tools → UTBot. Slider with label "Code analysis" disables symbolic execution when it's set to the leftmost value (Simpler) or disable...
og:site_nameGitHub
og:typeobject
hostnamegithub.com
expected-hostnamegithub.com
None42c603b9d642c4a9065a51770f75e5e27132fef0e858607f5c9cb7e422831a7b
turbo-cache-controlno-preview
diff-viewunified
go-importgithub.com/UnitTestBot/UTBotJava git https://github.com/UnitTestBot/UTBotJava.git
octolytics-dimension-user_id87413538
octolytics-dimension-user_loginUnitTestBot
octolytics-dimension-repository_id480810501
octolytics-dimension-repository_nwoUnitTestBot/UTBotJava
octolytics-dimension-repository_publictrue
octolytics-dimension-repository_is_forkfalse
octolytics-dimension-repository_network_root_id480810501
octolytics-dimension-repository_network_root_nwoUnitTestBot/UTBotJava
turbo-body-classeslogged-out env-production page-responsive full-width
disable-turbotrue
browser-stats-urlhttps://api.github.com/_private/browser/stats
browser-errors-urlhttps://api.github.com/_private/browser/errors
release3b33c5aedc9808f45bc5fcf0b1e4404cf749dac7
ui-targetfull
theme-color#1e2327
color-schemelight dark

Links:

Skip to contenthttps://github.com/UnitTestBot/UTBotJava/pull/552/files#start-of-content
https://github.com/
Sign in https://github.com/login?return_to=https%3A%2F%2Fgithub.com%2FUnitTestBot%2FUTBotJava%2Fpull%2F552%2Ffiles
GitHub CopilotWrite better code with AIhttps://github.com/features/copilot
GitHub SparkBuild and deploy intelligent appshttps://github.com/features/spark
GitHub ModelsManage and compare promptshttps://github.com/features/models
MCP RegistryNewIntegrate external toolshttps://github.com/mcp
ActionsAutomate any workflowhttps://github.com/features/actions
CodespacesInstant dev environmentshttps://github.com/features/codespaces
IssuesPlan and track workhttps://github.com/features/issues
Code ReviewManage code changeshttps://github.com/features/code-review
GitHub Advanced SecurityFind and fix vulnerabilitieshttps://github.com/security/advanced-security
Code securitySecure your code as you buildhttps://github.com/security/advanced-security/code-security
Secret protectionStop leaks before they starthttps://github.com/security/advanced-security/secret-protection
Why GitHubhttps://github.com/why-github
Documentationhttps://docs.github.com
Bloghttps://github.blog
Changeloghttps://github.blog/changelog
Marketplacehttps://github.com/marketplace
View all featureshttps://github.com/features
Enterpriseshttps://github.com/enterprise
Small and medium teamshttps://github.com/team
Startupshttps://github.com/enterprise/startups
Nonprofitshttps://github.com/solutions/industry/nonprofits
App Modernizationhttps://github.com/solutions/use-case/app-modernization
DevSecOpshttps://github.com/solutions/use-case/devsecops
DevOpshttps://github.com/solutions/use-case/devops
CI/CDhttps://github.com/solutions/use-case/ci-cd
View all use caseshttps://github.com/solutions/use-case
Healthcarehttps://github.com/solutions/industry/healthcare
Financial serviceshttps://github.com/solutions/industry/financial-services
Manufacturinghttps://github.com/solutions/industry/manufacturing
Governmenthttps://github.com/solutions/industry/government
View all industrieshttps://github.com/solutions/industry
View all solutionshttps://github.com/solutions
AIhttps://github.com/resources/articles?topic=ai
Software Developmenthttps://github.com/resources/articles?topic=software-development
DevOpshttps://github.com/resources/articles?topic=devops
Securityhttps://github.com/resources/articles?topic=security
View all topicshttps://github.com/resources/articles
Customer storieshttps://github.com/customer-stories
Events & webinarshttps://github.com/resources/events
Ebooks & reportshttps://github.com/resources/whitepapers
Business insightshttps://github.com/solutions/executive-insights
GitHub Skillshttps://skills.github.com
Documentationhttps://docs.github.com
Customer supporthttps://support.github.com
Community forumhttps://github.com/orgs/community/discussions
Trust centerhttps://github.com/trust-center
Partnershttps://github.com/partners
GitHub SponsorsFund open source developershttps://github.com/sponsors
Security Labhttps://securitylab.github.com
Maintainer Communityhttps://maintainers.github.com
Acceleratorhttps://github.com/accelerator
Archive Programhttps://archiveprogram.github.com
Topicshttps://github.com/topics
Trendinghttps://github.com/trending
Collectionshttps://github.com/collections
Enterprise platformAI-powered developer platformhttps://github.com/enterprise
GitHub Advanced SecurityEnterprise-grade security featureshttps://github.com/security/advanced-security
Copilot for BusinessEnterprise-grade AI featureshttps://github.com/features/copilot/copilot-business
Premium SupportEnterprise-grade 24/7 supporthttps://github.com/premium-support
Pricinghttps://github.com/pricing
Search syntax tipshttps://docs.github.com/search-github/github-code-search/understanding-github-code-search-syntax
documentationhttps://docs.github.com/search-github/github-code-search/understanding-github-code-search-syntax
Sign in https://github.com/login?return_to=https%3A%2F%2Fgithub.com%2FUnitTestBot%2FUTBotJava%2Fpull%2F552%2Ffiles
Sign up https://github.com/signup?ref_cta=Sign+up&ref_loc=header+logged+out&ref_page=%2F%3Cuser-name%3E%2F%3Crepo-name%3E%2Fpull_requests%2Fshow%2Ffiles&source=header-repo&source_repo=UnitTestBot%2FUTBotJava
Reloadhttps://github.com/UnitTestBot/UTBotJava/pull/552/files
Reloadhttps://github.com/UnitTestBot/UTBotJava/pull/552/files
Reloadhttps://github.com/UnitTestBot/UTBotJava/pull/552/files
UnitTestBot https://github.com/UnitTestBot
UTBotJavahttps://github.com/UnitTestBot/UTBotJava
Notifications https://github.com/login?return_to=%2FUnitTestBot%2FUTBotJava
Fork 45 https://github.com/login?return_to=%2FUnitTestBot%2FUTBotJava
Star 142 https://github.com/login?return_to=%2FUnitTestBot%2FUTBotJava
Code https://github.com/UnitTestBot/UTBotJava
Issues 386 https://github.com/UnitTestBot/UTBotJava/issues
Pull requests 33 https://github.com/UnitTestBot/UTBotJava/pulls
Discussions https://github.com/UnitTestBot/UTBotJava/discussions
Actions https://github.com/UnitTestBot/UTBotJava/actions
Projects 1 https://github.com/UnitTestBot/UTBotJava/projects
Wiki https://github.com/UnitTestBot/UTBotJava/wiki
Security 0 https://github.com/UnitTestBot/UTBotJava/security
Insights https://github.com/UnitTestBot/UTBotJava/pulse
Code https://github.com/UnitTestBot/UTBotJava
Issues https://github.com/UnitTestBot/UTBotJava/issues
Pull requests https://github.com/UnitTestBot/UTBotJava/pulls
Discussions https://github.com/UnitTestBot/UTBotJava/discussions
Actions https://github.com/UnitTestBot/UTBotJava/actions
Projects https://github.com/UnitTestBot/UTBotJava/projects
Wiki https://github.com/UnitTestBot/UTBotJava/wiki
Security https://github.com/UnitTestBot/UTBotJava/security
Insights https://github.com/UnitTestBot/UTBotJava/pulse
Sign up for GitHub https://github.com/signup?return_to=%2FUnitTestBot%2FUTBotJava%2Fissues%2Fnew%2Fchoose
terms of servicehttps://docs.github.com/terms
privacy statementhttps://docs.github.com/privacy
Sign inhttps://github.com/login?return_to=%2FUnitTestBot%2FUTBotJava%2Fissues%2Fnew%2Fchoose
Markouttehttps://github.com/Markoutte
mainhttps://github.com/UnitTestBot/UTBotJava/tree/main
pelevin/fuzzing_control_optionhttps://github.com/UnitTestBot/UTBotJava/tree/pelevin/fuzzing_control_option
Conversation 0 https://github.com/UnitTestBot/UTBotJava/pull/552
Commits 1 https://github.com/UnitTestBot/UTBotJava/pull/552/commits
Checks 0 https://github.com/UnitTestBot/UTBotJava/pull/552/checks
Files changed https://github.com/UnitTestBot/UTBotJava/pull/552/files
Please reload this pagehttps://github.com/UnitTestBot/UTBotJava/pull/552/files
Add an option to control fuzzing #451 https://github.com/UnitTestBot/UTBotJava/pull/552/files#top
Show all changes 1 commit https://github.com/UnitTestBot/UTBotJava/pull/552/files
39f2de0 Add an option to control fuzzing #451 Markoutte Jul 19, 2022 https://github.com/UnitTestBot/UTBotJava/pull/552/commits/39f2de00acf278abb6b538dfb0cf490817a28b7d
Clear filters https://github.com/UnitTestBot/UTBotJava/pull/552/files
Please reload this pagehttps://github.com/UnitTestBot/UTBotJava/pull/552/files
Please reload this pagehttps://github.com/UnitTestBot/UTBotJava/pull/552/files
UtSettings.kt https://github.com/UnitTestBot/UTBotJava/pull/552/files#diff-80d01989f2b4a8930154527824aed76ab56b038fb746dbf6255ba3a3f1024931
TestCaseGenerator.kt https://github.com/UnitTestBot/UTBotJava/pull/552/files#diff-b410086455f775b569900a45f751c5cc55ec6d7a0eb1b9c4e73fa64272df9090
TestFlow.kt https://github.com/UnitTestBot/UTBotJava/pull/552/files#diff-8843cff4a009cf96730aba5552d80952ec099d3cbfda9060f193f243a2a724e8
UtTestsDialogProcessor.kt https://github.com/UnitTestBot/UTBotJava/pull/552/files#diff-8698f6c2184ff35d51afb4e41b1c1c44223d72b7ffe94c328ba019974d77ff30
GenerateTestsModel.kt https://github.com/UnitTestBot/UTBotJava/pull/552/files#diff-dbda1b4f53dce46f6a2505386d4d408be42f8da2cc1936a036dc37860b74510f
Configurable.kt https://github.com/UnitTestBot/UTBotJava/pull/552/files#diff-7a3243112c67039851bbb94f7552ef6416f4b529cab67f83e17143820cd85b19
Settings.kt https://github.com/UnitTestBot/UTBotJava/pull/552/files#diff-dad65a6e38a192d6708304bb66ccc369f56cf34777a4015f332ebd88dfe06d68
SettingsWindow.kt https://github.com/UnitTestBot/UTBotJava/pull/552/files#diff-75bc28e907583c0374078d8bff499840c7f0597f4e27cbd4f3548dfb7d516d49
GenerateTestsDialogWindow.kt https://github.com/UnitTestBot/UTBotJava/pull/552/files#diff-e5aadda1669ec92937a35180a34a31ce91c317d8ddead49bb31da73463958f54
UiUtils.kt https://github.com/UnitTestBot/UTBotJava/pull/552/files#diff-b6829f18ad3673014272f69b3ffc30e47b12dd0bec5f94d325476a1dd2db192f
utbot-framework-api/src/main/kotlin/org/utbot/framework/UtSettings.kthttps://github.com/UnitTestBot/UTBotJava/pull/552/files#diff-80d01989f2b4a8930154527824aed76ab56b038fb746dbf6255ba3a3f1024931
View file https://github.com/UnitTestBot/UTBotJava/blob/39f2de00acf278abb6b538dfb0cf490817a28b7d/utbot-framework-api/src/main/kotlin/org/utbot/framework/UtSettings.kt
Open in desktop https://desktop.github.com
https://github.co/hiddenchars
https://github.com/UnitTestBot/UTBotJava/pull/552/{{ revealButtonHref }}
https://github.com/UnitTestBot/UTBotJava/pull/552/files#diff-80d01989f2b4a8930154527824aed76ab56b038fb746dbf6255ba3a3f1024931
https://github.com/UnitTestBot/UTBotJava/pull/552/files#diff-80d01989f2b4a8930154527824aed76ab56b038fb746dbf6255ba3a3f1024931
utbot-framework/src/main/kotlin/org/utbot/framework/plugin/api/TestCaseGenerator.kthttps://github.com/UnitTestBot/UTBotJava/pull/552/files#diff-b410086455f775b569900a45f751c5cc55ec6d7a0eb1b9c4e73fa64272df9090
View file https://github.com/UnitTestBot/UTBotJava/blob/39f2de00acf278abb6b538dfb0cf490817a28b7d/utbot-framework/src/main/kotlin/org/utbot/framework/plugin/api/TestCaseGenerator.kt
Open in desktop https://desktop.github.com
https://github.co/hiddenchars
https://github.com/UnitTestBot/UTBotJava/pull/552/{{ revealButtonHref }}
https://github.com/UnitTestBot/UTBotJava/pull/552/files#diff-b410086455f775b569900a45f751c5cc55ec6d7a0eb1b9c4e73fa64272df9090
https://github.com/UnitTestBot/UTBotJava/pull/552/files#diff-b410086455f775b569900a45f751c5cc55ec6d7a0eb1b9c4e73fa64272df9090
https://github.com/UnitTestBot/UTBotJava/pull/552/files#diff-b410086455f775b569900a45f751c5cc55ec6d7a0eb1b9c4e73fa64272df9090
https://github.com/UnitTestBot/UTBotJava/pull/552/files#diff-b410086455f775b569900a45f751c5cc55ec6d7a0eb1b9c4e73fa64272df9090
https://github.com/UnitTestBot/UTBotJava/pull/552/files#diff-b410086455f775b569900a45f751c5cc55ec6d7a0eb1b9c4e73fa64272df9090
https://github.com/UnitTestBot/UTBotJava/pull/552/files#diff-b410086455f775b569900a45f751c5cc55ec6d7a0eb1b9c4e73fa64272df9090
utbot-framework/src/main/kotlin/org/utbot/framework/plugin/api/TestFlow.kthttps://github.com/UnitTestBot/UTBotJava/pull/552/files#diff-8843cff4a009cf96730aba5552d80952ec099d3cbfda9060f193f243a2a724e8
View file https://github.com/UnitTestBot/UTBotJava/blob/39f2de00acf278abb6b538dfb0cf490817a28b7d/utbot-framework/src/main/kotlin/org/utbot/framework/plugin/api/TestFlow.kt
Open in desktop https://desktop.github.com
https://github.co/hiddenchars
https://github.com/UnitTestBot/UTBotJava/pull/552/{{ revealButtonHref }}
utbot-intellij/src/main/kotlin/org/utbot/intellij/plugin/generator/UtTestsDialogProcessor.kthttps://github.com/UnitTestBot/UTBotJava/pull/552/files#diff-8698f6c2184ff35d51afb4e41b1c1c44223d72b7ffe94c328ba019974d77ff30
View file https://github.com/UnitTestBot/UTBotJava/blob/39f2de00acf278abb6b538dfb0cf490817a28b7d/utbot-intellij/src/main/kotlin/org/utbot/intellij/plugin/generator/UtTestsDialogProcessor.kt
Open in desktop https://desktop.github.com
https://github.co/hiddenchars
https://github.com/UnitTestBot/UTBotJava/pull/552/{{ revealButtonHref }}
https://github.com/UnitTestBot/UTBotJava/pull/552/files#diff-8698f6c2184ff35d51afb4e41b1c1c44223d72b7ffe94c328ba019974d77ff30
https://github.com/UnitTestBot/UTBotJava/pull/552/files#diff-8698f6c2184ff35d51afb4e41b1c1c44223d72b7ffe94c328ba019974d77ff30
https://github.com/UnitTestBot/UTBotJava/pull/552/files#diff-8698f6c2184ff35d51afb4e41b1c1c44223d72b7ffe94c328ba019974d77ff30
https://github.com/UnitTestBot/UTBotJava/pull/552/files#diff-8698f6c2184ff35d51afb4e41b1c1c44223d72b7ffe94c328ba019974d77ff30
https://github.com/UnitTestBot/UTBotJava/pull/552/files#diff-8698f6c2184ff35d51afb4e41b1c1c44223d72b7ffe94c328ba019974d77ff30
https://github.com/UnitTestBot/UTBotJava/pull/552/files#diff-8698f6c2184ff35d51afb4e41b1c1c44223d72b7ffe94c328ba019974d77ff30
utbot-intellij/src/main/kotlin/org/utbot/intellij/plugin/models/GenerateTestsModel.kthttps://github.com/UnitTestBot/UTBotJava/pull/552/files#diff-dbda1b4f53dce46f6a2505386d4d408be42f8da2cc1936a036dc37860b74510f
View file https://github.com/UnitTestBot/UTBotJava/blob/39f2de00acf278abb6b538dfb0cf490817a28b7d/utbot-intellij/src/main/kotlin/org/utbot/intellij/plugin/models/GenerateTestsModel.kt
Open in desktop https://desktop.github.com
https://github.co/hiddenchars
https://github.com/UnitTestBot/UTBotJava/pull/552/{{ revealButtonHref }}
https://github.com/UnitTestBot/UTBotJava/pull/552/files#diff-dbda1b4f53dce46f6a2505386d4d408be42f8da2cc1936a036dc37860b74510f
https://github.com/UnitTestBot/UTBotJava/pull/552/files#diff-dbda1b4f53dce46f6a2505386d4d408be42f8da2cc1936a036dc37860b74510f
utbot-intellij/src/main/kotlin/org/utbot/intellij/plugin/settings/Configurable.kthttps://github.com/UnitTestBot/UTBotJava/pull/552/files#diff-7a3243112c67039851bbb94f7552ef6416f4b529cab67f83e17143820cd85b19
View file https://github.com/UnitTestBot/UTBotJava/blob/39f2de00acf278abb6b538dfb0cf490817a28b7d/utbot-intellij/src/main/kotlin/org/utbot/intellij/plugin/settings/Configurable.kt
Open in desktop https://desktop.github.com
https://github.co/hiddenchars
https://github.com/UnitTestBot/UTBotJava/pull/552/{{ revealButtonHref }}
https://github.com/UnitTestBot/UTBotJava/pull/552/files#diff-7a3243112c67039851bbb94f7552ef6416f4b529cab67f83e17143820cd85b19
https://github.com/UnitTestBot/UTBotJava/pull/552/files#diff-7a3243112c67039851bbb94f7552ef6416f4b529cab67f83e17143820cd85b19
utbot-intellij/src/main/kotlin/org/utbot/intellij/plugin/settings/Settings.kthttps://github.com/UnitTestBot/UTBotJava/pull/552/files#diff-dad65a6e38a192d6708304bb66ccc369f56cf34777a4015f332ebd88dfe06d68
View file https://github.com/UnitTestBot/UTBotJava/blob/39f2de00acf278abb6b538dfb0cf490817a28b7d/utbot-intellij/src/main/kotlin/org/utbot/intellij/plugin/settings/Settings.kt
Open in desktop https://desktop.github.com
https://github.co/hiddenchars
https://github.com/UnitTestBot/UTBotJava/pull/552/{{ revealButtonHref }}
https://github.com/UnitTestBot/UTBotJava/pull/552/files#diff-dad65a6e38a192d6708304bb66ccc369f56cf34777a4015f332ebd88dfe06d68
https://github.com/UnitTestBot/UTBotJava/pull/552/files#diff-dad65a6e38a192d6708304bb66ccc369f56cf34777a4015f332ebd88dfe06d68
https://github.com/UnitTestBot/UTBotJava/pull/552/files#diff-dad65a6e38a192d6708304bb66ccc369f56cf34777a4015f332ebd88dfe06d68
https://github.com/UnitTestBot/UTBotJava/pull/552/files#diff-dad65a6e38a192d6708304bb66ccc369f56cf34777a4015f332ebd88dfe06d68
https://github.com/UnitTestBot/UTBotJava/pull/552/files#diff-dad65a6e38a192d6708304bb66ccc369f56cf34777a4015f332ebd88dfe06d68
https://github.com/UnitTestBot/UTBotJava/pull/552/files#diff-dad65a6e38a192d6708304bb66ccc369f56cf34777a4015f332ebd88dfe06d68
https://github.com/UnitTestBot/UTBotJava/pull/552/files#diff-dad65a6e38a192d6708304bb66ccc369f56cf34777a4015f332ebd88dfe06d68
https://github.com/UnitTestBot/UTBotJava/pull/552/files#diff-dad65a6e38a192d6708304bb66ccc369f56cf34777a4015f332ebd88dfe06d68
Please reload this pagehttps://github.com/UnitTestBot/UTBotJava/pull/552/files
https://github.com
Termshttps://docs.github.com/site-policy/github-terms/github-terms-of-service
Privacyhttps://docs.github.com/site-policy/privacy-policies/github-privacy-statement
Securityhttps://github.com/security
Statushttps://www.githubstatus.com/
Communityhttps://github.community/
Docshttps://docs.github.com/
Contacthttps://support.github.com?tags=dotcom-footer

Viewport: width=device-width


URLs of crawlers that visited me.