( en | de | ru )

 

Disambiguierung von "Richter, Cedric"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Variable Misuse Detection: Software Developers versus Neural Bug Detectors.

, , , , , und . Software Engineering, Volume P-332 von LNI, Seite 103-104. Gesellschaft für Informatik e.V., (2023)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Cédric Müller

Cédric Bodet

Cédric Allène

Cedric Walravens

Cedric Raguenaud

 

Weitere Publikationen von Autoren mit dem selben Namen

Can we learn from developer mistakes? Learning to localize and repair real bugs from real bug fixes., und . CoRR, (2022)Bubaak-SpLit: Split what you cannot verify (Competition contribution)., und . TACAS (3), Volume 14572 von Lecture Notes in Computer Science, Seite 353-358. Springer, (2024)Variable Misuse Detection: Software Developers versus Neural Bug Detectors., , , , , und . Software Engineering, Volume P-332 von LNI, Seite 103-104. Gesellschaft für Informatik e.V., (2023)Ranged Program Analysis: A Parallel Divide-and-Conquer Approach for Software Verification., , , und . Software Engineering, Volume P-343 von LNI, Seite 157-158. Gesellschaft für Informatik e.V., (2024)On the Role of Artificial and Real Bug Fixes on the Training of Neural Bug Detectors., und . Software Engineering, Volume P-343 von LNI, Seite 111-112. Gesellschaft für Informatik e.V., (2024)Are Neural Bug Detectors Comparable to Software Developers on Variable Misuse Bugs?, , , , , und . ASE, Seite 9:1-9:12. ACM, (2022)TSSB-3M: Mining single statement bugs at massive scale., und . MSR, Seite 418-422. ACM, (2022)Learning Realistic Mutations: Bug Creation for Neural Bug Detectors., und . ICST, Seite 162-173. IEEE, (2022)Can ChatGPT support software verification?, , und . FASE, Volume 14573 von Lecture Notes in Computer Science, Seite 266-279. Springer, (2024)PeSCo: Predicting Sequential Combinations of Verifiers - (Competition Contribution)., und . TACAS (3), Volume 11429 von Lecture Notes in Computer Science, Seite 229-233. Springer, (2019)