René's URL Explorer Experiment


Title: Prefer symbolic executions during minimization by dtim · Pull Request #854 · UnitTestBot/UTBotJava · GitHub

Open Graph Title: Prefer symbolic executions during minimization by dtim · Pull Request #854 · UnitTestBot/UTBotJava

X Title: Prefer symbolic executions during minimization by dtim · Pull Request #854 · UnitTestBot/UTBotJava

Description: Automated unit test generation and precise code analysis for Java - Prefer symbolic executions during minimization by dtim · Pull Request #854 · UnitTestBot/UTBotJava

Open Graph Description: Description Suppose we have two executions with the same coverage, one produced by the symbolic engine, and one produced by the fuzzer. From the user's point of view, they are equivalent, and t...

X Description: Description Suppose we have two executions with the same coverage, one produced by the symbolic engine, and one produced by the fuzzer. From the user's point of view, they are equivalent, a...

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

X: @github

direct link

Domain: github.com

route-pattern/_view_fragments/voltron/pull_requests/show/:user_id/:repository/:id/pull_request_layout(.:format)
route-controllervoltron_pull_requests_fragments
route-actionpull_request_layout
fetch-noncev2:03b71fe2-b9ac-f8a3-c67f-7e34e0468092
current-catalog-service-hashae870bc5e265a340912cde392f23dad3671a0a881730ffdadd82f2f57d81641b
request-id84F6:1C3DF0:BA1599:F222CB:6990B924
html-safe-noncec839b9fdbc1f7eca1fe0db8c94e52f3ca0e6499726fa76b44416ab1a8ca4cb09
visitor-payloadeyJyZWZlcnJlciI6IiIsInJlcXVlc3RfaWQiOiI4NEY2OjFDM0RGMDpCQTE1OTk6RjIyMkNCOjY5OTBCOTI0IiwidmlzaXRvcl9pZCI6IjEzMDM2MzIxNTc5MDI2ODI0MDQiLCJyZWdpb25fZWRnZSI6ImlhZCIsInJlZ2lvbl9yZW5kZXIiOiJpYWQifQ==
visitor-hmac57a533527bea1be3c12c035e14c09fe1cac8d9b555b363de847e92520c9d0603
hovercard-subject-tagpull_request:1045806605
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///voltron/pull_requests_fragments/pull_request_layout
fb:app_id1401488693436528
apple-itunes-appapp-id=1477376905, app-argument=https://github.com/_view_fragments/voltron/pull_requests/show/UnitTestBot/UTBotJava/854/pull_request_layout
twitter:imagehttps://opengraph.githubassets.com/72846a2181e6d9fde27d4bfafd27beeecaed875b18b77069edc0336add8cd034/UnitTestBot/UTBotJava/pull/854
twitter:cardsummary_large_image
og:imagehttps://opengraph.githubassets.com/72846a2181e6d9fde27d4bfafd27beeecaed875b18b77069edc0336add8cd034/UnitTestBot/UTBotJava/pull/854
og:image:altDescription Suppose we have two executions with the same coverage, one produced by the symbolic engine, and one produced by the fuzzer. From the user's point of view, they are equivalent, and t...
og:image:width1200
og:image:height600
og:site_nameGitHub
og:typeobject
og:author:usernamedtim
hostnamegithub.com
expected-hostnamegithub.com
None42c603b9d642c4a9065a51770f75e5e27132fef0e858607f5c9cb7e422831a7b
turbo-cache-controlno-cache
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
disable-turbofalse
browser-stats-urlhttps://api.github.com/_private/browser/stats
browser-errors-urlhttps://api.github.com/_private/browser/errors
release848bc6032dcc93a9a7301dcc3f379a72ba13b96e
ui-targetfull
theme-color#1e2327
color-schemelight dark

Links:

Skip to contenthttps://github.com/UnitTestBot/UTBotJava/pull/854#start-of-content
https://github.com/
Sign in https://github.com/login?return_to=https%3A%2F%2Fgithub.com%2FUnitTestBot%2FUTBotJava%2Fpull%2F854
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%2F854
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%2Fvoltron%2Fpull_requests_fragments%2Fpull_request_layout&source=header-repo&source_repo=UnitTestBot%2FUTBotJava
Reloadhttps://github.com/UnitTestBot/UTBotJava/pull/854
Reloadhttps://github.com/UnitTestBot/UTBotJava/pull/854
Reloadhttps://github.com/UnitTestBot/UTBotJava/pull/854
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
dtimhttps://github.com/dtim
mainhttps://github.com/UnitTestBot/UTBotJava/tree/main
dtim/843_minimizer_prefer_symbolichttps://github.com/UnitTestBot/UTBotJava/tree/dtim/843_minimizer_prefer_symbolic
Conversationhttps://github.com/UnitTestBot/UTBotJava/pull/854
Commits1 (1)https://github.com/UnitTestBot/UTBotJava/pull/854/commits
Checkshttps://github.com/UnitTestBot/UTBotJava/pull/854/checks
Files changedhttps://github.com/UnitTestBot/UTBotJava/pull/854/files
Prefer symbolic executions during minimizationhttps://github.com/UnitTestBot/UTBotJava/pull/854#top
dtimhttps://github.com/dtim
mainhttps://github.com/UnitTestBot/UTBotJava/tree/main
dtim/843_minimizer_prefer_symbolichttps://github.com/UnitTestBot/UTBotJava/tree/dtim/843_minimizer_prefer_symbolic
https://github.com/dtim
dtimhttps://github.com/dtim
Sep 4, 2022https://github.com/UnitTestBot/UTBotJava/pull/854#issue-1361277988
Please reload this pagehttps://github.com/UnitTestBot/UTBotJava/pull/854
#843https://github.com/UnitTestBot/UTBotJava/issues/843
Please reload this pagehttps://github.com/UnitTestBot/UTBotJava/pull/854
https://github.com/dtim
dtimhttps://github.com/dtim
force-pushedhttps://github.com/UnitTestBot/UTBotJava/compare/3dbddc1dd7c236d74e96ab68828dac31517c8446..f612a03e922bf4735cdb4baa996a4e887763e888
3dbddc1https://github.com/UnitTestBot/UTBotJava/commit/3dbddc1dd7c236d74e96ab68828dac31517c8446
f612a03https://github.com/UnitTestBot/UTBotJava/commit/f612a03e922bf4735cdb4baa996a4e887763e888
Compare https://github.com/UnitTestBot/UTBotJava/compare/3dbddc1dd7c236d74e96ab68828dac31517c8446..f612a03e922bf4735cdb4baa996a4e887763e888
September 5, 2022 09:44https://github.com/UnitTestBot/UTBotJava/pull/854#event-7321487699
https://github.com/dtim
dtimhttps://github.com/dtim
Sep 5, 2022https://github.com/UnitTestBot/UTBotJava/pull/854#event-7321491304
https://github.com/dtim
dtimhttps://github.com/dtim
force-pushedhttps://github.com/UnitTestBot/UTBotJava/compare/d035957e416f47816b34eacced57b347cb438776..3801e275c2e75fcf793501c6284b26c9589470a4
d035957https://github.com/UnitTestBot/UTBotJava/commit/d035957e416f47816b34eacced57b347cb438776
3801e27https://github.com/UnitTestBot/UTBotJava/commit/3801e275c2e75fcf793501c6284b26c9589470a4
Compare https://github.com/UnitTestBot/UTBotJava/compare/d035957e416f47816b34eacced57b347cb438776..3801e275c2e75fcf793501c6284b26c9589470a4
September 5, 2022 11:36https://github.com/UnitTestBot/UTBotJava/pull/854#event-7322240139
https://github.com/dtim
dtimhttps://github.com/dtim
September 5, 2022 11:36https://github.com/UnitTestBot/UTBotJava/pull/854#event-7322242583
https://github.com/dtim
dtimhttps://github.com/dtim
EgorkaKulikovhttps://github.com/EgorkaKulikov
sergeypospelovhttps://github.com/sergeypospelov
September 5, 2022 11:37https://github.com/UnitTestBot/UTBotJava/pull/854#event-7322247530
https://github.com/amandelpie
amandelpiehttps://github.com/amandelpie
Sep 5, 2022 https://github.com/UnitTestBot/UTBotJava/pull/854#pullrequestreview-1096400544
View reviewed changes https://github.com/UnitTestBot/UTBotJava/pull/854/files
utbot-framework/src/main/kotlin/org/utbot/framework/minimization/Minimization.kthttps://github.com/UnitTestBot/UTBotJava/pull/854/files#diff-6c0b63675189b75af0494f89ef90551d32c7582e185638acab1467c5f8e32755
amandelpiehttps://github.com/amandelpie
Sep 5, 2022https://github.com/UnitTestBot/UTBotJava/pull/854#discussion_r962870309
Learn morehttps://docs.github.com/articles/managing-disruptive-comments/#hiding-a-comment
Please reload this pagehttps://github.com/UnitTestBot/UTBotJava/pull/854
dtimhttps://github.com/dtim
Sep 5, 2022https://github.com/UnitTestBot/UTBotJava/pull/854#discussion_r962888904
Learn morehttps://docs.github.com/articles/managing-disruptive-comments/#hiding-a-comment
Please reload this pagehttps://github.com/UnitTestBot/UTBotJava/pull/854
https://github.com/dtim
dtimhttps://github.com/dtim
September 5, 2022 13:40https://github.com/UnitTestBot/UTBotJava/pull/854#event-7323269155
https://github.com/dtim
Prefer symbolic executions during minimizationhttps://github.com/UnitTestBot/UTBotJava/pull/854/commits/cc8956cd9c5e7c1f8cb01eba170a96effcbc5b2e
cc8956chttps://github.com/UnitTestBot/UTBotJava/pull/854/commits/cc8956cd9c5e7c1f8cb01eba170a96effcbc5b2e
https://github.com/dtim
dtimhttps://github.com/dtim
force-pushedhttps://github.com/UnitTestBot/UTBotJava/compare/3801e275c2e75fcf793501c6284b26c9589470a4..cc8956cd9c5e7c1f8cb01eba170a96effcbc5b2e
3801e27https://github.com/UnitTestBot/UTBotJava/commit/3801e275c2e75fcf793501c6284b26c9589470a4
cc8956chttps://github.com/UnitTestBot/UTBotJava/commit/cc8956cd9c5e7c1f8cb01eba170a96effcbc5b2e
Compare https://github.com/UnitTestBot/UTBotJava/compare/3801e275c2e75fcf793501c6284b26c9589470a4..cc8956cd9c5e7c1f8cb01eba170a96effcbc5b2e
September 5, 2022 13:52https://github.com/UnitTestBot/UTBotJava/pull/854#event-7323385688
https://github.com/dtim
dtimhttps://github.com/dtim
Sep 5, 2022https://github.com/UnitTestBot/UTBotJava/pull/854#issuecomment-1237128709
@sergeypospelovhttps://github.com/sergeypospelov
@Markouttehttps://github.com/Markoutte
#843https://github.com/UnitTestBot/UTBotJava/issues/843
Please reload this pagehttps://github.com/UnitTestBot/UTBotJava/pull/854
https://github.com/sofurihafe
sofurihafehttps://github.com/sofurihafe
Dec 14, 2022 https://github.com/UnitTestBot/UTBotJava/pull/854#ref-pullrequest-1496087121
Make symbolic execs preferable in minimization process #1514 https://github.com/UnitTestBot/UTBotJava/pull/1514
https://github.com/sergeypospelov
sergeypospelovhttps://github.com/sergeypospelov
Dec 16, 2022https://github.com/UnitTestBot/UTBotJava/pull/854#event-8052727703
https://github.co/hiddenchars
https://github.com/UnitTestBot/UTBotJava/pull/{{ revealButtonHref }}
Sign up for freehttps://github.com/join?source=comment-repo
Sign in to commenthttps://github.com/login?return_to=https%3A%2F%2Fgithub.com%2FUnitTestBot%2FUTBotJava%2Fpull%2F854
https://github.com/amandelpie
amandelpie https://github.com/amandelpie
https://github.com/UnitTestBot/UTBotJava/pull/854/files/3801e275c2e75fcf793501c6284b26c9589470a4
https://github.com/EgorkaKulikov
EgorkaKulikov https://github.com/EgorkaKulikov
https://github.com/sergeypospelov
sergeypospelov https://github.com/sergeypospelov
Prioritize Symbolic Engine executions https://github.com/UnitTestBot/UTBotJava/issues/843
Please reload this pagehttps://github.com/UnitTestBot/UTBotJava/pull/854
https://github.com/dtim
https://github.com/amandelpie
https://github.com/sergeypospelov
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.