( en | de | ru )

 

Disambiguierung von "Le, Xuan-Bach Dinh"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
On reliability of patch correctness assessment.

, , , , , und . ICSE, Seite 524-535. IEEE / ACM, (2019)

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.

Le-Xuan-Dinh

Do Xuan Dinh

Lam Dinh-Xuan

Xuan Nguyen-Dinh

Dinh xuan Dung

 

Weitere Publikationen von Autoren mit dem selben Namen

AutoPruner: transformer-based call graph pruning., , , , , , und . ESEC/SIGSOFT FSE, Seite 520-532. ACM, (2022)An Efficient Cyclic Entailment Procedure in a Fragment of Separation Logic., und . FoSSaCS, Volume 13992 von Lecture Notes in Computer Science, Seite 477-497. Springer, (2023)Toward the Analysis of Graph Neural Networks., , , , und . ICSE (NIER), Seite 116-120. IEEE/ACM, (2022)Test mimicry to assess the exploitability of library vulnerabilities., , , , und . ISSTA, Seite 276-288. ACM, (2022)Symbolic Pathfinder for SV-COMP - (Competition Contribution)., , , , und . TACAS (3), Volume 11429 von Lecture Notes in Computer Science, Seite 239-243. Springer, (2019)JFIX: semantics-based repair of Java programs via symbolic PathFinder., , , , und . ISSTA, Seite 376-379. ACM, (2017)ReFixar: Multi-version Reasoning for Automated Repair of Regression Errors., und . ISSRE, Seite 162-172. IEEE, (2021)Active semi-supervised defect categorization., , und . ICPC, Seite 60-70. IEEE Computer Society, (2015)Exploring True Test Overfitting in Dynamic Automated Program Repair using Formal Methods., , , , und . ICST, Seite 229-240. IEEE, (2021)VulCurator: a vulnerability-fixing commit detector., , , , und . ESEC/SIGSOFT FSE, Seite 1726-1730. ACM, (2022)