C. Janßen, C. Richter, and H. Wehrheim, "Can ChatGPT support software verification?" in Proc. Fundamental Approaches to Software Engineering - 27th International Conference, FASE 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, 2024.
doi: 10.1007/978-3-031-57259-3_13
@inproceedings{DBLP:conf/fase/JanssenRW24,
author = {Christian Jan{\ss}en and Cedric Richter and Heike Wehrheim},
editor = {Dirk Beyer and Ana Cavalcanti},
title = {Can ChatGPT support software verification?},
booktitle = {Fundamental Approaches to Software Engineering - 27th International Conference, {FASE} 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, {ETAPS} 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14573},
pages = {266--279},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-57259-3\_13},
doi = {10.1007/978-3-031-57259-3\_13},
timestamp = {Sun, 14 Apr 2024 18:32:17 +0200},
biburl = {https://dblp.org/rec/conf/fase/JanssenRW24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
C. Richter and H. Wehrheim, "On the Role of Artificial and Real Bug Fixes on the Training of Neural Bug Detectors" in Proc. Software Engineering 2024, Fachtagung des GI-Fachbereichs Softwaretechnik, Linz, Austria, February 26 - March 1, 2024, 2024.
doi: 10.18420/SW2024_34
@inproceedings{DBLP:conf/se/RichterW24,
author = {Cedric Richter and Heike Wehrheim},
editor = {Rick Rabiser and Manuel Wimmer and Iris Groher and Andreas Wortmann and Bianca Wiesmayr},
title = {On the Role of Artificial and Real Bug Fixes on the Training of Neural Bug Detectors},
booktitle = {Software Engineering 2024, Fachtagung des GI-Fachbereichs Softwaretechnik, Linz, Austria, February 26 - March 1, 2024},
series = {{LNI}},
volume = {{P-343}},
pages = {111--112},
publisher = {Gesellschaft f{\"{u}}r Informatik e.V.},
year = {2024},
url = {https://doi.org/10.18420/sw2024\_34},
doi = {10.18420/SW2024\_34},
timestamp = {Mon, 11 Mar 2024 16:51:10 +0100},
biburl = {https://dblp.org/rec/conf/se/RichterW24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
J. Haltermann, M. -, C. Richter, and H. Wehrheim, "Ranged Program Analysis: A Parallel Divide-and-Conquer Approach for Software Verification" in Proc. Software Engineering 2024, Fachtagung des GI-Fachbereichs Softwaretechnik, Linz, Austria, February 26 - March 1, 2024, 2024.
doi: 10.18420/SW2024_52
@inproceedings{DBLP:conf/se/HaltermannJRW24,
author = {Jan Haltermann and Marie{-}Christine Jakobs and Cedric Richter and Heike Wehrheim},
editor = {Rick Rabiser and Manuel Wimmer and Iris Groher and Andreas Wortmann and Bianca Wiesmayr},
title = {Ranged Program Analysis: {A} Parallel Divide-and-Conquer Approach for Software Verification},
booktitle = {Software Engineering 2024, Fachtagung des GI-Fachbereichs Softwaretechnik, Linz, Austria, February 26 - March 1, 2024},
series = {{LNI}},
volume = {{P-343}},
pages = {157--158},
publisher = {Gesellschaft f{\"{u}}r Informatik e.V.},
year = {2024},
url = {https://doi.org/10.18420/sw2024\_52},
doi = {10.18420/SW2024\_52},
timestamp = {Mon, 11 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/se/HaltermannJRW24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
M. Chalupa and C. Richter, "Bubaak-SpLit: Split what you cannot verify (Competition contribution)" in Proc. Tools and Algorithms for the Construction and Analysis of Systems - 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part III, 2024.
doi: 10.1007/978-3-031-57256-2_20
@inproceedings{DBLP:conf/tacas/ChalupaR24,
author = {Marek Chalupa and Cedric Richter},
editor = {Bernd Finkbeiner and Laura Kov{\'{a}}cs},
title = {Bubaak-SpLit: Split what you cannot verify (Competition contribution)},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems - 30th International Conference, {TACAS} 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, {ETAPS} 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part {III}},
series = {Lecture Notes in Computer Science},
volume = {14572},
pages = {353--358},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-57256-2\_20},
doi = {10.1007/978-3-031-57256-2\_20},
timestamp = {Sun, 14 Apr 2024 18:32:17 +0200},
biburl = {https://dblp.org/rec/conf/tacas/ChalupaR24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
J. Haltermann, M. -, C. Richter, and H. Wehrheim, "Parallel Program Analysis via Range Splitting" in Proc. Fundamental Approaches to Software Engineering - 26th International Conference, FASE 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings, 2023.
doi: 10.1007/978-3-031-30826-0_11
@inproceedings{DBLP:conf/fase/HaltermannJRW23,
author = {Jan Haltermann and Marie{-}Christine Jakobs and Cedric Richter and Heike Wehrheim},
editor = {Leen Lambers and Sebasti{\'{a}}n Uchitel},
title = {Parallel Program Analysis via Range Splitting},
booktitle = {Fundamental Approaches to Software Engineering - 26th International Conference, {FASE} 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, {ETAPS} 2023, Paris, France, April 22-27, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13991},
pages = {195--219},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-30826-0\_11},
doi = {10.1007/978-3-031-30826-0\_11},
timestamp = {Sat, 13 May 2023 01:07:19 +0200},
biburl = {https://dblp.org/rec/conf/fase/HaltermannJRW23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
C. Richter and H. Wehrheim, "How to Train Your Neural Bug Detector: Artificial vs Real Bugs" in Proc. 38th IEEE/ACM International Conference on Automated Software Engineering, ASE 2023, Luxembourg, September 11-15, 2023, 2023.
doi: 10.1109/ASE56229.2023.00104
@inproceedings{DBLP:conf/kbse/RichterW23,
author = {Cedric Richter and Heike Wehrheim},
title = {How to Train Your Neural Bug Detector: Artificial vs Real Bugs},
booktitle = {38th {IEEE/ACM} International Conference on Automated Software Engineering, {ASE} 2023, Luxembourg, September 11-15, 2023},
pages = {1036--1048},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/ASE56229.2023.00104},
doi = {10.1109/ASE56229.2023.00104},
timestamp = {Thu, 16 Nov 2023 09:03:51 +0100},
biburl = {https://dblp.org/rec/conf/kbse/RichterW23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
C. Richter, J. Haltermann, M. -, F. Pauck, S. Schott, and H. Wehrheim, "Variable Misuse Detection: Software Developers versus Neural Bug Detectors" in Proc. Software Engineering 2023, Fachtagung des GI-Fachbereichs Softwaretechnik, 20.-24. Februar 2023, Paderborn, 2023.
@inproceedings{DBLP:conf/se/RichterHJPSW23,
author = {Cedric Richter and Jan Haltermann and Marie{-}Christine Jakobs and Felix Pauck and Stefan Schott and Heike Wehrheim},
editor = {Gregor Engels and Regina Hebig and Matthias Tichy},
title = {Variable Misuse Detection: Software Developers versus Neural Bug Detectors},
booktitle = {Software Engineering 2023, Fachtagung des GI-Fachbereichs Softwaretechnik, 20.-24. Februar 2023, Paderborn},
series = {{LNI}},
volume = {{P-332}},
pages = {103--104},
publisher = {Gesellschaft f{\"{u}}r Informatik e.V.},
year = {2023},
url = {https://dl.gi.de/handle/20.500.12116/40105},
timestamp = {Tue, 04 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/se/RichterHJPSW23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
F. Dyck, C. Richter, and H. Wehrheim, "Robustness Testing of Software Verifiers" in Proc. Software Engineering and Formal Methods - 21st International Conference, SEFM 2023, Eindhoven, The Netherlands, November 6-10, 2023, Proceedings, 2023.
doi: 10.1007/978-3-031-47115-5_5
@inproceedings{DBLP:conf/sefm/DyckRW23,
author = {Florian Dyck and Cedric Richter and Heike Wehrheim},
editor = {Carla Ferreira and Tim A. C. Willemse},
title = {Robustness Testing of Software Verifiers},
booktitle = {Software Engineering and Formal Methods - 21st International Conference, {SEFM} 2023, Eindhoven, The Netherlands, November 6-10, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14323},
pages = {66--84},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-47115-5\_5},
doi = {10.1007/978-3-031-47115-5\_5},
timestamp = {Tue, 28 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sefm/DyckRW23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
J. Haltermann, M. -, C. Richter, and H. Wehrheim, "Ranged Program Analysis via Instrumentation" in Proc. Software Engineering and Formal Methods - 21st International Conference, SEFM 2023, Eindhoven, The Netherlands, November 6-10, 2023, Proceedings, 2023.
doi: 10.1007/978-3-031-47115-5_9
@inproceedings{DBLP:conf/sefm/HaltermannJRW23,
author = {Jan Haltermann and Marie{-}Christine Jakobs and Cedric Richter and Heike Wehrheim},
editor = {Carla Ferreira and Tim A. C. Willemse},
title = {Ranged Program Analysis via Instrumentation},
booktitle = {Software Engineering and Formal Methods - 21st International Conference, {SEFM} 2023, Eindhoven, The Netherlands, November 6-10, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14323},
pages = {145--164},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-47115-5\_9},
doi = {10.1007/978-3-031-47115-5\_9},
timestamp = {Tue, 28 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sefm/HaltermannJRW23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
D. Beyer, S. Kanav, and C. Richter, "Construction of Verifier Combinations Based on Off-the-Shelf Verifiers" in Proc. Fundamental Approaches to Software Engineering - 25th International Conference, FASE 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings, 2022.
doi: 10.1007/978-3-030-99429-7_3
@inproceedings{DBLP:conf/fase/BeyerKR22,
author = {Dirk Beyer and Sudeep Kanav and Cedric Richter},
editor = {Einar Broch Johnsen and Manuel Wimmer},
title = {Construction of Verifier Combinations Based on Off-the-Shelf Verifiers},
booktitle = {Fundamental Approaches to Software Engineering - 25th International Conference, {FASE} 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, {ETAPS} 2022, Munich, Germany, April 2-7, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13241},
pages = {49--70},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-030-99429-7\_3},
doi = {10.1007/978-3-030-99429-7\_3},
timestamp = {Fri, 29 Apr 2022 14:50:32 +0200},
biburl = {https://dblp.org/rec/conf/fase/BeyerKR22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
C. Richter and H. Wehrheim, "Learning Realistic Mutations: Bug Creation for Neural Bug Detectors" in Proc. 15th IEEE Conference on Software Testing, Verification and Validation, ICST 2022, Valencia, Spain, April 4-14, 2022, 2022.
doi: 10.1109/ICST53961.2022.00027
@inproceedings{DBLP:conf/icst/RichterW22,
author = {Cedric Richter and Heike Wehrheim},
title = {Learning Realistic Mutations: Bug Creation for Neural Bug Detectors},
booktitle = {15th {IEEE} Conference on Software Testing, Verification and Validation, {ICST} 2022, Valencia, Spain, April 4-14, 2022},
pages = {162--173},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/ICST53961.2022.00027},
doi = {10.1109/ICST53961.2022.00027},
timestamp = {Mon, 13 Jun 2022 16:53:36 +0200},
biburl = {https://dblp.org/rec/conf/icst/RichterW22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
C. Richter, J. Haltermann, M. -, F. Pauck, S. Schott, and H. Wehrheim, "Are Neural Bug Detectors Comparable to Software Developers on Variable Misuse Bugs?" in Proc. 37th IEEE/ACM International Conference on Automated Software Engineering, ASE 2022, Rochester, MI, USA, October 10-14, 2022, 2022.
doi: 10.1145/3551349.3561156
@inproceedings{DBLP:conf/kbse/RichterHJPSW22,
author = {Cedric Richter and Jan Haltermann and Marie{-}Christine Jakobs and Felix Pauck and Stefan Schott and Heike Wehrheim},
title = {Are Neural Bug Detectors Comparable to Software Developers on Variable Misuse Bugs?},
booktitle = {37th {IEEE/ACM} International Conference on Automated Software Engineering, {ASE} 2022, Rochester, MI, USA, October 10-14, 2022},
pages = {9:1--9:12},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3551349.3561156},
doi = {10.1145/3551349.3561156},
timestamp = {Sun, 15 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/RichterHJPSW22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
C. Richter and H. Wehrheim, "TSSB-3M: Mining single statement bugs at massive scale" in Proc. 19th IEEE/ACM International Conference on Mining Software Repositories, MSR 2022, Pittsburgh, PA, USA, May 23-24, 2022, 2022.
doi: 10.1145/3524842.3528505
@inproceedings{DBLP:conf/msr/RichterW22,
author = {Cedric Richter and Heike Wehrheim},
title = {{TSSB-3M:} Mining single statement bugs at massive scale},
booktitle = {19th {IEEE/ACM} International Conference on Mining Software Repositories, {MSR} 2022, Pittsburgh, PA, USA, May 23-24, 2022},
pages = {418--422},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3524842.3528505},
doi = {10.1145/3524842.3528505},
timestamp = {Thu, 27 Oct 2022 16:07:05 +0200},
biburl = {https://dblp.org/rec/conf/msr/RichterW22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
C. Richter and H. Wehrheim, "Can we learn from developer mistakes? Learning to localize and repair real bugs from real bug fixes" CoRR, vol. abs/2207.00301.
doi: 10.48550/ARXIV.2207.00301
@article{DBLP:journals/corr/abs-2207-00301,
author = {Cedric Richter and Heike Wehrheim},
title = {Can we learn from developer mistakes? Learning to localize and repair real bugs from real bug fixes},
journal = {CoRR},
volume = {abs/2207.00301},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2207.00301},
doi = {10.48550/ARXIV.2207.00301},
eprinttype = {arXiv},
eprint = {2207.00301},
timestamp = {Wed, 06 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2207-00301.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
M. - and C. Richter, "CoVeriTest with Adaptive Time Scheduling (Competition Contribution)" in Proc. Fundamental Approaches to Software Engineering - 24th International Conference, FASE 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings, 2021.
doi: 10.1007/978-3-030-71500-7_18
@inproceedings{DBLP:conf/fase/JakobsR21,
author = {Marie{-}Christine Jakobs and Cedric Richter},
editor = {Esther Guerra and Mari{\"{e}}lle Stoelinga},
title = {CoVeriTest with Adaptive Time Scheduling (Competition Contribution)},
booktitle = {Fundamental Approaches to Software Engineering - 24th International Conference, {FASE} 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, {ETAPS} 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12649},
pages = {358--362},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-71500-7\_18},
doi = {10.1007/978-3-030-71500-7\_18},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fase/JakobsR21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
C. Richter, E. Hüllermeier, M. -, and H. Wehrheim, "Algorithm selection for software validation based on graph kernels" Autom. Softw. Eng. vol. 27, iss. 1.
doi: 10.1007/S10515-020-00270-X
@article{DBLP:journals/ase/RichterHJW20,
author = {Cedric Richter and Eyke H{\"{u}}llermeier and Marie{-}Christine Jakobs and Heike Wehrheim},
title = {Algorithm selection for software validation based on graph kernels},
journal = {Autom. Softw. Eng.},
volume = {27},
number = {1},
pages = {153--186},
year = {2020},
url = {https://doi.org/10.1007/s10515-020-00270-x},
doi = {10.1007/S10515-020-00270-X},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ase/RichterHJW20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
C. Richter and H. Wehrheim, "Attend and Represent: A Novel View on Algorithm Selection for Software Verification" in Proc. 35th IEEE/ACM International Conference on Automated Software Engineering, ASE 2020, Melbourne, Australia, September 21-25, 2020, 2020.
doi: 10.1145/3324884.3416633
@inproceedings{DBLP:conf/kbse/RichterW20,
author = {Cedric Richter and Heike Wehrheim},
title = {Attend and Represent: {A} Novel View on Algorithm Selection for Software Verification},
booktitle = {35th {IEEE/ACM} International Conference on Automated Software Engineering, {ASE} 2020, Melbourne, Australia, September 21-25, 2020},
pages = {1016--1028},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1145/3324884.3416633},
doi = {10.1145/3324884.3416633},
timestamp = {Fri, 12 Feb 2021 13:04:43 +0100},
biburl = {https://dblp.org/rec/conf/kbse/RichterW20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
C. Richter and H. Wehrheim, "PeSCo: Predicting Sequential Combinations of Verifiers - (Competition Contribution)" in Proc. Tools and Algorithms for the Construction and Analysis of Systems - 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part III, 2019.
doi: 10.1007/978-3-030-17502-3_19
@inproceedings{DBLP:conf/tacas/RichterW19,
author = {Cedric Richter and Heike Wehrheim},
editor = {Dirk Beyer and Marieke Huisman and Fabrice Kordon and Bernhard Steffen},
title = {PeSCo: Predicting Sequential Combinations of Verifiers - (Competition Contribution)},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems - 25 Years of {TACAS:} TOOLympics, Held as Part of {ETAPS} 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part {III}},
series = {Lecture Notes in Computer Science},
volume = {11429},
pages = {229--233},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-17502-3\_19},
doi = {10.1007/978-3-030-17502-3\_19},
timestamp = {Fri, 09 Apr 2021 18:45:37 +0200},
biburl = {https://dblp.org/rec/conf/tacas/RichterW19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
Go to documentC. Janßen, C. Richter, and H. Wehrheim, "Can ChatGPT support software verification?" in Proc. Fundamental Approaches to Software Engineering - 27th International Conference, FASE 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, 2024.