Suche in der Hochschulbibliografie

Suche nach: Person = 'Richter, Cedric'

Treffer 1-10 von 12

Sortieren nach:

Alle Titel auf dieser Seite auswählen

Alle Titel exportieren:

Alle Details anzeigen

1
49GBVUOB_ALMA5137553990000350149GBVUOB_ALMA51375539900003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA51375539900003501
Artikel
How to train your neural bug detector : artificial vs real bugs
von Cedric Richter ; Heike Wehrheim
2023
Details anzeigen
Beteiligte Personen (Uni Oldenburg): Wehrheim, HeikeRichter, Cedric ([2021-])
Enthalten in: IEEE/ACM International Conference on Automated Software Engineering (38. : 2023 : Kirchberg, Luxemburg; Online) 2023 38th IEEE/ACM International Conference on Automated Software Engineering Piscataway, NJ : IEEE, 2023 (2023), Seite 1036-1048 1 Online-Ressource
Sprache: Englisch
>> Volltext
2
49GBVUOB_ALMA5137567004000350149GBVUOB_ALMA51375670040003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA51375670040003501
Artikel
Can ChatGPT support software verification?
von Christian Janßen ; Cedric Richter ; Heike Wehrheim
2023
Details anzeigen
Beteiligte Personen (Uni Oldenburg): Richter, Cedric ([2021-])Wehrheim, Heike
Umfang: 14.
Weitere Angaben:
Submitted on 4 Nov 2023
Enthalten in: Arxiv Ithaca, NY : Cornell University, 1991 (2023) vom: 4. Nov. Online-Ressource
Sprache: Englisch
>> Volltext
3
49GBVUOB_ALMA5137553987000350149GBVUOB_ALMA51375539870003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA51375539870003501
Artikel
Robustness testing of software verifiers
von Florian Dyck ; Cedric Richter ; Heike Wehrheim
2023
Details anzeigen
Beteiligte Personen (Uni Oldenburg): Richter, Cedric ([2021-])Wehrheim, Heike
Enthalten in: Software Engineering and Formal Methods 1st ed. 2023. Cham : Springer Nature Switzerland, 2023 (2023), Seite 66-84 1 Online-Ressource(XII, 378 p. 152 illus., 105 illus. in color.)
Sprache: Englisch
>> Volltext
4
49GBVUOB_ALMA5137553999000350149GBVUOB_ALMA51375539990003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA51375539990003501
Artikel
Parallel program analysis via range splitting
von Jan Haltermann ; Marie-Christine Jakobs ; Cedric Richter ; Heike Wehrheim
2023
Details anzeigen
Beteiligte Personen (Uni Oldenburg): Richter, Cedric ([2021-])Wehrheim, HeikeHaltermann, Jan ([2021-])
Enthalten in: Fundamental Approaches to Software Engineering 1st ed. 2023. Cham : Springer Nature Switzerland, 2023 (2023), Seite 195–219 1 Online-Ressource(XVI, 332 p. 137 illus., 100 illus. in color.)
Sprache: Englisch
>> Volltext
5
49GBVUOB_ALMA5137567013000350149GBVUOB_ALMA51375670130003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA51375670130003501
Artikel
Ranged program analysis via instrumentation
von Jan Haltermann ; Marie-Christine Jakobs ; Cedric Richter ; Heike Wehrheim
2023
Details anzeigen
Beteiligte Personen (Uni Oldenburg): Richter, Cedric ([2021-])Wehrheim, HeikeHaltermann, Jan ([2021-])
Enthalten in: Software Engineering and Formal Methods 1st ed. 2023. Cham : Springer Nature Switzerland, 2023 (2023), Seite 145-164 1 Online-Ressource(XII, 378 p. 152 illus., 105 illus. in color.)
Sprache: Englisch
>> Volltext
6
49GBVUOB_ALMA5137554008000350149GBVUOB_ALMA51375540080003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA51375540080003501
Artikel
Variable misuse detection : software developers versus neural bug detectors
von Cedric Richter ; Jan Haltermann ; Marie-Christine Jakobs ; Felix Pauck ; Stefan Schott ; Heike Wehrheim
2023
Details anzeigen
Beteiligte Personen (Uni Oldenburg): Haltermann, Jan ([2021-])Wehrheim, HeikeRichter, Cedric ([2021-])
Enthalten in: Software Engineering 2023 Bonn : Köllen, 2023 (2023), Seite 103-104 1 Online-Ressource
Sprache: Englisch
>> Volltext
7
49GBVUOB_ALMA5135944933000350149GBVUOB_ALMA51359449330003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA51359449330003501
Artikel
Can we learn from developer mistakes? : learning to localize and repair real bugs from real bug fixes
von Cedric Richter ; Heike Wehrheim
2022
Details anzeigen
Beteiligte Personen (Uni Oldenburg): Wehrheim, HeikeRichter, Cedric ([2021-])
Enthalten in: Arxiv Ithaca, NY : Cornell University, 1991 (2022) vom: 1. Juli, Seite 1-12 Online-Ressource
Sprache: Englisch
>> Volltext
8
49GBVUOB_ALMA5135944986000350149GBVUOB_ALMA51359449860003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA51359449860003501
Artikel
Learning realistic mutations : bug creation for neural bug detectors
von Cedric Richter ; Heike Wehrheim
2022
Details anzeigen
Beteiligte Personen (Uni Oldenburg): Wehrheim, HeikeRichter, Cedric ([2021-])
Enthalten in: IEEE International Conference on Software Testing, Verification and Validation (15. : 2022 : Online) 2022 IEEE 15th International Conference on Software Testing, Verification and Validation Piscataway, NJ : IEEE, 2022 (2022), Seite 162-173 1 Online-Ressource
Sprache: Englisch
>> Volltext
9
49GBVUOB_ALMA5135944983000350149GBVUOB_ALMA51359449830003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA51359449830003501
Artikel
TSSB-3M : mining single statement bugs at massive scale
von Cedric Richter ; Heike Wehrheim
2022
Details anzeigen
Beteiligte Personen (Uni Oldenburg): Wehrheim, HeikeRichter, Cedric ([2021-])
Enthalten in: IEEE/ACM International Conference on Mining Software Repositories (19. : 2022 : Pittsburgh, Pa.; Online) The 2022 Mining Software Repositories Conference [Piscataway, NJ] : IEEE, 2022 (2022), Seite 418-422 1 Online-Ressource
Sprache: Englisch
>> Volltext
10
49GBVUOB_ALMA5135941979000350149GBVUOB_ALMA51359419790003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA51359419790003501
Artikel
Construction of verifier combinations based on off-the-shelf verifiers
von Dirk Beyer ; Sudeep Kanav ; Cedric Richter
2022
Details anzeigen
Beteiligte Personen (Uni Oldenburg): Richter, Cedric ([2021-])
Enthalten in: Fundamental Approaches to Software Engineering 1st ed. 2022. Cham : Springer International Publishing, 2022 (2022), Seite 49-70 1 Online-Ressource(XIV, 347 p. 96 illus.)
Sprache: Englisch
>> Volltext