Author of the publication

Construction of Verifier Combinations Based on Off-the-Shelf Verifiers.

, , and . FASE, volume 13241 of Lecture Notes in Computer Science, page 49-70. Springer, (2022)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

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