FixCheck : A Tool for Improving Patch Correctness Analysis @ ISSTA 2024 Tool Demonstration

Sdílet
Vložit
  • čas přidán 20. 08. 2024
  • Tool Demo of FixCheck: A Tool for Improving Patch Correctness Analysis at ISSTA 2024. FixCheck is a tool that combines static analysis, random testing and Large Language Models to produce fault-revealing tests for potentially incorrect patches. Check out the following repository for further information: github.com/fac...

Komentáře •

Další v pořadí
Automatické přehrávání
The moment we stopped understanding AI [AlexNet]17:38The moment we stopped understanding AI [AlexNet]
The moment we stopped understanding AI [AlexNet]Welch Labs
zhlédnutí 932K
I've been using Redis wrong this whole time...20:53I've been using Redis wrong this whole time...
I've been using Redis wrong this whole time...Dreams of Code
zhlédnutí 353K
Programming's Greatest Mistakes • Mark Rendle • GOTO 202351:24Programming's Greatest Mistakes • Mark Rendle • GOTO 2023
Programming's Greatest Mistakes • Mark Rendle • GOTO 2023GOTO Conferences
zhlédnutí 89K
DIY squeeze bottle00:37DIY squeeze bottle
DIY squeeze bottleAlina Saito / 斎藤アリーナ
zhlédnutí 5M
Replacing a valve on a full water tank! 🫣💦 - 🎥 @the_ladyplumber00:16Replacing a valve on a full water tank! 🫣💦 - 🎥 @the_ladyplumber
Replacing a valve on a full water tank! 🫣💦 - 🎥 @the_ladyplumberUNILAD
zhlédnutí 152M
CO TVOJE TĚLO NEDOKÁŽE UDĚLAT (ALE MĚLO BY TO UMĚT) 😅🤣00:28CO TVOJE TĚLO NEDOKÁŽE UDĚLAT (ALE MĚLO BY TO UMĚT) 😅🤣
CO TVOJE TĚLO NEDOKÁŽE UDĚLAT (ALE MĚLO BY TO UMĚT) 😅🤣Stejk
zhlédnutí 297K
Getting her riled up for no reason 🤣00:28Getting her riled up for no reason 🤣
Getting her riled up for no reason 🤣Hunna & Lib
zhlédnutí 41M
A Once in a Lifetime Financial Event Is Here10:57A Once in a Lifetime Financial Event Is Here
A Once in a Lifetime Financial Event Is HereTom Nash
zhlédnutí 137K
Kubernetes RBAC : Practical Creation of User,ClusterRole,ClusterRoleBinding (Part 2) #devops #rbac17:38Kubernetes RBAC : Practical Creation of User,ClusterRole,ClusterRoleBinding (Part 2) #devops #rbac
Kubernetes RBAC : Practical Creation of User,ClusterRole,ClusterRoleBinding (Part 2) #devops #rbacRohan Rustagi
zhlédnutí 485
David Kipping: Alien Civilizations and Habitable Worlds | Lex Fridman Podcast #3553:47:10David Kipping: Alien Civilizations and Habitable Worlds | Lex Fridman Podcast #355
David Kipping: Alien Civilizations and Habitable Worlds | Lex Fridman Podcast #355Lex Fridman
zhlédnutí 10M
Generative AI in a Nutshell - how to survive and thrive in the age of AI17:57Generative AI in a Nutshell - how to survive and thrive in the age of AI
Generative AI in a Nutshell - how to survive and thrive in the age of AIHenrik Kniberg
zhlédnutí 1,8M
Learn PowerShell in Less Than 2 Hours1:48:21Learn PowerShell in Less Than 2 Hours
Learn PowerShell in Less Than 2 HoursPowerShell Engineer
zhlédnutí 265K
Chollet's ARC Challenge + Current Winners2:15:02Chollet's ARC Challenge + Current Winners
Chollet's ARC Challenge + Current WinnersMachine Learning Street Talk
zhlédnutí 50K
Use the commands wget and curl to test if a webpage or website responds6:14Use the commands wget and curl to test if a webpage or website responds
Use the commands wget and curl to test if a webpage or website respondsLearn Linux for beginners
zhlédnutí 232
CKA Practice Exam (mock questions) - Real 30 Practice questions and Answers3:43:55CKA Practice Exam (mock questions) - Real 30 Practice questions and Answers
CKA Practice Exam (mock questions) - Real 30 Practice questions and AnswerskubernetesWay
zhlédnutí 38K
Effortless Node.js Setup: My Go-To Method with fnm8:01Effortless Node.js Setup: My Go-To Method with fnm
Effortless Node.js Setup: My Go-To Method with fnmKerollos Magdy
zhlédnutí 242
So brutal REVENGE 😂😭🔥 @BrutalAssaultOFFICIAL #youtube #festival #comedy #metal #corpsepaint00:15So brutal REVENGE 😂😭🔥 @BrutalAssaultOFFICIAL #youtube #festival #comedy #metal #corpsepaint
So brutal REVENGE 😂😭🔥 @BrutalAssaultOFFICIAL #youtube #festival #comedy #metal #corpsepaintcikindeles
zhlédnutí 9M
Táta ČR na dovolené u moře 🏝️ #selixinho00:25Táta ČR na dovolené u moře 🏝️ #selixinho
Táta ČR na dovolené u moře 🏝️ #selixinhoSelixinho
zhlédnutí 41K
Jak Mluvit Jako Sigma00:35Jak Mluvit Jako Sigma
Jak Mluvit Jako SigmaTaky Bige
zhlédnutí 548K
How I Did The SELF BENDING Spoon 😱🥄 #shorts00:19How I Did The SELF BENDING Spoon 😱🥄 #shorts
How I Did The SELF BENDING Spoon 😱🥄 #shortsWian
zhlédnutí 36M
Díl který byl OSOBNÍ🔥 JIŽ online na HEROHERO🔥00:27Díl který byl OSOBNÍ🔥 JIŽ online na HEROHERO🔥
Díl který byl OSOBNÍ🔥 JIŽ online na HEROHERO🔥TĚLO na TĚLO - podcast
zhlédnutí 106K
Angelo Song Tu To Riyal😆 | Brawl Stars #shorts #brawlstars00:18Angelo Song Tu To Riyal😆 | Brawl Stars #shorts #brawlstars
Angelo Song Tu To Riyal😆 | Brawl Stars #shorts #brawlstarsCaptain Shiraj
zhlédnutí 3,2M
iShowSpeeda Takhke Okradli00:19iShowSpeeda Takhke Okradli
iShowSpeeda Takhke OkradliTaky Bige
zhlédnutí 476K
Tary Drink stačí zalévat! 😂00:26Tary Drink stačí zalévat! 😂
Tary Drink stačí zalévat! 😂Tary
zhlédnutí 299K