Automatic Patch Validation for Memory Safety Bugs in C and Java

Seongjoon Hong / 홍성준

2024

Hochschulschrift

Titel:	Automatic Patch Validation for Memory Safety Bugs in C and Java
Autor/in / Beteiligte Person:	Seongjoon Hong / 홍성준
Link:	https://dcollection.korea.ac.kr/common/orgView/000000279219
Veröffentlichung:	2024
Medientyp:	Hochschulschrift
Sonstiges:	Nachgewiesen in: KERIS Theses & Dissertations Sprachen: English File Description: application/pdf Degree: 6YD76\|대학원 컴퓨터학과(정보대학), 소프트웨어전공, Dissertation

Klicken Sie ein Format an und speichern Sie dann die Daten oder geben Sie eine Empfänger-Adresse ein und lassen Sie sich per Email zusenden.

BibTeX Citavi, JabRef, u.a.
(Literaturverwaltung)

PDF kein Volltext!
(Merkzettel, Notizen)

RIS Endnote, Citavi u.a.
(Literaturverwaltung)

MODS
(XML zur Weiterverarbeitung)

oder

Wählen Sie das für Sie passende Zitationsformat und kopieren Sie es dann in die Zwischenablage, lassen es sich per Mail zusenden oder speichern es als PDF-Datei.

Gewünschter Zitations-Stil:

oder

Bitte prüfen Sie, ob die Zitation formal korrekt ist, bevor Sie sie in einer Arbeit verwenden. Benutzen Sie gegebenenfalls den "Exportieren"-Dialog, wenn Sie ein Literaturverwaltungsprogramm verwenden und die Zitat-Angaben selbst formatieren wollen.