René's URL Explorer Experiment


Title: Make symbolic execs preferable in minimization process by sofurihafe · Pull Request #1514 · UnitTestBot/UTBotJava · GitHub

Open Graph Title: Make symbolic execs preferable in minimization process by sofurihafe · Pull Request #1514 · UnitTestBot/UTBotJava

X Title: Make symbolic execs preferable in minimization process by sofurihafe · Pull Request #1514 · UnitTestBot/UTBotJava

Description: Automated unit test generation and precise code analysis for Java - Make symbolic execs preferable in minimization process by sofurihafe · Pull Request #1514 · UnitTestBot/UTBotJava

Open Graph Description: Description After some discussions it was decided to prioritize symbolic executions over fuzzed ones. Now, priority is based on source priority (symbolic is preferable), number of useful lines (mor...

X Description: Description After some discussions it was decided to prioritize symbolic executions over fuzzed ones. Now, priority is based on source priority (symbolic is preferable), number of useful lines (mor...

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

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:6b2f12ec-4776-dc14-13d6-1a48f61da792
current-catalog-service-hashae870bc5e265a340912cde392f23dad3671a0a881730ffdadd82f2f57d81641b
request-idAE5C:1814C8:18E5E40:2034425:698FE2A8
html-safe-noncee1da44974f3322c7f08874c15333f2bc1f6427776bf89d03581e6d6597aa0870
visitor-payloadeyJyZWZlcnJlciI6IiIsInJlcXVlc3RfaWQiOiJBRTVDOjE4MTRDODoxOEU1RTQwOjIwMzQ0MjU6Njk4RkUyQTgiLCJ2aXNpdG9yX2lkIjoiMjIzMjE3MDQ1NjQ2MzM2NjgwIiwicmVnaW9uX2VkZ2UiOiJpYWQiLCJyZWdpb25fcmVuZGVyIjoiaWFkIn0=
visitor-hmac4574fad3b7817fecee644c612e062dca13891084491b37b4b5ef7fb1d8efc051
hovercard-subject-tagpull_request:1164673829
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/1514/pull_request_layout
twitter:imagehttps://opengraph.githubassets.com/e9e69cb60ccb9e42c15aba2ebb9bed0b48c3969c54d179310b6cea00a47cac9e/UnitTestBot/UTBotJava/pull/1514
twitter:cardsummary_large_image
og:imagehttps://opengraph.githubassets.com/e9e69cb60ccb9e42c15aba2ebb9bed0b48c3969c54d179310b6cea00a47cac9e/UnitTestBot/UTBotJava/pull/1514
og:image:altDescription After some discussions it was decided to prioritize symbolic executions over fuzzed ones. Now, priority is based on source priority (symbolic is preferable), number of useful lines (mor...
og:image:width1200
og:image:height600
og:site_nameGitHub
og:typeobject
og:author:usernamesofurihafe
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
release3b33c5aedc9808f45bc5fcf0b1e4404cf749dac7
ui-targetfull
theme-color#1e2327
color-schemelight dark

Links:

Skip to contenthttps://github.com/UnitTestBot/UTBotJava/pull/1514#start-of-content
https://github.com/
Sign in https://github.com/login?return_to=https%3A%2F%2Fgithub.com%2FUnitTestBot%2FUTBotJava%2Fpull%2F1514
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%2F1514
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/1514
Reloadhttps://github.com/UnitTestBot/UTBotJava/pull/1514
Reloadhttps://github.com/UnitTestBot/UTBotJava/pull/1514
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
EgorkaKulikovhttps://github.com/EgorkaKulikov
mainhttps://github.com/UnitTestBot/UTBotJava/tree/main
andrey-t/symbolic-execs-supremacyhttps://github.com/UnitTestBot/UTBotJava/tree/andrey-t/symbolic-execs-supremacy
Conversationhttps://github.com/UnitTestBot/UTBotJava/pull/1514
Commits1 (1)https://github.com/UnitTestBot/UTBotJava/pull/1514/commits
Checkshttps://github.com/UnitTestBot/UTBotJava/pull/1514/checks
Files changedhttps://github.com/UnitTestBot/UTBotJava/pull/1514/files
Make symbolic execs preferable in minimization processhttps://github.com/UnitTestBot/UTBotJava/pull/1514#top
EgorkaKulikovhttps://github.com/EgorkaKulikov
mainhttps://github.com/UnitTestBot/UTBotJava/tree/main
andrey-t/symbolic-execs-supremacyhttps://github.com/UnitTestBot/UTBotJava/tree/andrey-t/symbolic-execs-supremacy
https://github.com/sofurihafe
sofurihafehttps://github.com/sofurihafe
Dec 14, 2022https://github.com/UnitTestBot/UTBotJava/pull/1514#issue-1496087121
Please reload this pagehttps://github.com/UnitTestBot/UTBotJava/pull/1514
pull854https://github.com/UnitTestBot/UTBotJava/pull/854
1504https://github.com/UnitTestBot/UTBotJava/issues/1504
Please reload this pagehttps://github.com/UnitTestBot/UTBotJava/pull/1514
https://github.com/sofurihafe
sofurihafehttps://github.com/sofurihafe
EgorkaKulikovhttps://github.com/EgorkaKulikov
December 14, 2022 08:48https://github.com/UnitTestBot/UTBotJava/pull/1514#event-8034507597
https://github.com/sofurihafe
sofurihafehttps://github.com/sofurihafe
Dec 14, 2022https://github.com/UnitTestBot/UTBotJava/pull/1514#event-8034515439
Improve executions priorities in minimization #1504 https://github.com/UnitTestBot/UTBotJava/issues/1504
https://github.com/EgorkaKulikov
EgorkaKulikovhttps://github.com/EgorkaKulikov
Dec 14, 2022 https://github.com/UnitTestBot/UTBotJava/pull/1514#pullrequestreview-1217101057
View reviewed changes https://github.com/UnitTestBot/UTBotJava/pull/1514/files
...ork-test/src/test/kotlin/org/utbot/framework/minimization/MinimizationGreedyEssentialTest.kthttps://github.com/UnitTestBot/UTBotJava/pull/1514/files#diff-73e7c7e59a35ad22e4bc0d766e6b340c592034fc2d550bb07ef8cb1fa7c0f38e
Please reload this pagehttps://github.com/UnitTestBot/UTBotJava/pull/1514
https://github.com/EgorkaKulikov
EgorkaKulikovhttps://github.com/EgorkaKulikov
Dec 14, 2022 https://github.com/UnitTestBot/UTBotJava/pull/1514#pullrequestreview-1217103626
View reviewed changes https://github.com/UnitTestBot/UTBotJava/pull/1514/files
utbot-framework/src/main/kotlin/org/utbot/framework/minimization/Minimization.kthttps://github.com/UnitTestBot/UTBotJava/pull/1514/files#diff-6c0b63675189b75af0494f89ef90551d32c7582e185638acab1467c5f8e32755
Please reload this pagehttps://github.com/UnitTestBot/UTBotJava/pull/1514
https://github.com/sofurihafe
sofurihafehttps://github.com/sofurihafe
force-pushedhttps://github.com/UnitTestBot/UTBotJava/compare/6ed1e6c457043694fd67912c5200192f25da0ebf..37662b4d78664921dd438a3885516293f380b243
6ed1e6chttps://github.com/UnitTestBot/UTBotJava/commit/6ed1e6c457043694fd67912c5200192f25da0ebf
37662b4https://github.com/UnitTestBot/UTBotJava/commit/37662b4d78664921dd438a3885516293f380b243
Compare https://github.com/UnitTestBot/UTBotJava/compare/6ed1e6c457043694fd67912c5200192f25da0ebf..37662b4d78664921dd438a3885516293f380b243
December 14, 2022 09:59https://github.com/UnitTestBot/UTBotJava/pull/1514#event-8035234710
https://github.com/sofurihafe
Make symbolic execs preferable in minimization processhttps://github.com/UnitTestBot/UTBotJava/pull/1514/commits/02fe06a4f81db17cf86e8bc5e6070c33809db283
02fe06ahttps://github.com/UnitTestBot/UTBotJava/pull/1514/commits/02fe06a4f81db17cf86e8bc5e6070c33809db283
https://github.com/sofurihafe
sofurihafehttps://github.com/sofurihafe
force-pushedhttps://github.com/UnitTestBot/UTBotJava/compare/37662b4d78664921dd438a3885516293f380b243..02fe06a4f81db17cf86e8bc5e6070c33809db283
37662b4https://github.com/UnitTestBot/UTBotJava/commit/37662b4d78664921dd438a3885516293f380b243
02fe06ahttps://github.com/UnitTestBot/UTBotJava/commit/02fe06a4f81db17cf86e8bc5e6070c33809db283
Compare https://github.com/UnitTestBot/UTBotJava/compare/37662b4d78664921dd438a3885516293f380b243..02fe06a4f81db17cf86e8bc5e6070c33809db283
December 14, 2022 10:01https://github.com/UnitTestBot/UTBotJava/pull/1514#event-8035257375
https://github.com/EgorkaKulikov
EgorkaKulikovhttps://github.com/EgorkaKulikov
December 14, 2022 10:01https://github.com/UnitTestBot/UTBotJava/pull/1514#event-8035258475
https://github.com/EgorkaKulikov
EgorkaKulikovhttps://github.com/EgorkaKulikov
Dec 14, 2022 https://github.com/UnitTestBot/UTBotJava/pull/1514#pullrequestreview-1217136649
View reviewed changes https://github.com/UnitTestBot/UTBotJava/pull/1514/files/02fe06a4f81db17cf86e8bc5e6070c33809db283
https://github.com/EgorkaKulikov
EgorkaKulikovhttps://github.com/EgorkaKulikov
December 14, 2022 10:02https://github.com/UnitTestBot/UTBotJava/pull/1514#event-8035269120
https://github.com/EgorkaKulikov
EgorkaKulikovhttps://github.com/EgorkaKulikov
047ea48https://github.com/UnitTestBot/UTBotJava/commit/047ea486bb2dd5abd197ed943289098bb1017564
Dec 14, 2022https://github.com/UnitTestBot/UTBotJava/pull/1514#event-8035743370
https://github.com/EgorkaKulikov
EgorkaKulikovhttps://github.com/EgorkaKulikov
December 14, 2022 10:49https://github.com/UnitTestBot/UTBotJava/pull/1514#event-8035743529
https://github.com/CaelmBleidd
CaelmBleiddhttps://github.com/CaelmBleidd
Dec 19, 2022https://github.com/UnitTestBot/UTBotJava/pull/1514#issuecomment-1357067326
@sergeypospelovhttps://github.com/sergeypospelov
his first attempthttps://github.com/UnitTestBot/UTBotJava/pull/854
Please reload this pagehttps://github.com/UnitTestBot/UTBotJava/pull/1514
tamarinvs19https://github.com/tamarinvs19
Dec 21, 2022 https://github.com/UnitTestBot/UTBotJava/pull/1514#ref-commit-45a87bf
https://github.com/sofurihafe
https://github.com/tamarinvs19
Make symbolic execs preferable in minimization processhttps://github.com/UnitTestBot/UTBotJava/commit/45a87bf9478b20241a0d6f7b1a2b9e084f1442d3
#1504https://github.com/UnitTestBot/UTBotJava/issues/1504
(https://github.com/UnitTestBot/UTBotJava/commit/45a87bf9478b20241a0d6f7b1a2b9e084f1442d3
#1514https://github.com/UnitTestBot/UTBotJava/pull/1514
)https://github.com/UnitTestBot/UTBotJava/commit/45a87bf9478b20241a0d6f7b1a2b9e084f1442d3
45a87bfhttps://github.com/UnitTestBot/UTBotJava/commit/45a87bf9478b20241a0d6f7b1a2b9e084f1442d3
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%2F1514
https://github.com/EgorkaKulikov
EgorkaKulikov https://github.com/EgorkaKulikov
https://github.com/UnitTestBot/UTBotJava/pull/1514/files/02fe06a4f81db17cf86e8bc5e6070c33809db283
Improve executions priorities in minimization https://github.com/UnitTestBot/UTBotJava/issues/1504
Please reload this pagehttps://github.com/UnitTestBot/UTBotJava/pull/1514
https://github.com/sofurihafe
https://github.com/CaelmBleidd
https://github.com/EgorkaKulikov
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.