( en | de | ru )

 

Disambiguierung von "Kim, Yunho"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Invasive Software Testing: Mutating Target Programs to Diversify Test Exploration for High Test Coverage.

, , , , und . ICST, Seite 239-249. IEEE Computer Society, (2018)

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.

Ky ng Kim

Die Artikelstruktur in passiven zweisprachigen Wörterbüchern Deutsch-Koreanisch: Konzeption zur Erstellung eines zweisprachigen Lernerwörterbuchs Deutsch-Koreanisch. Uni Heidelberg, (2008)

Kison Kim

Wonchan Kim

Kim Gerber

Bongcheol Kim

 

Weitere Publikationen von Autoren mit dem selben Namen

Formal Verification of a Flash Memory Device Driver - An Experience Report., , , und . SPIN, Volume 5156 von Lecture Notes in Computer Science, Seite 144-159. Springer, (2008)SCORE: a scalable concolic testing tool for reliable embedded software., und . SIGSOFT FSE, Seite 420-423. ACM, (2011)Two-stage adaptive random Fourier sampling method for image reconstruction., und . Pattern Recognit., (2021)Scalable Distributed Concolic Testing: A Case Study on a Flash Storage Platform., , und . ICTAC, Volume 6255 von Lecture Notes in Computer Science, Seite 199-213. Springer, (2010)Safety Guided Policy Optimization., , , und . IROS, Seite 2462-2467. IEEE, (2022)Directed test suite augmentation: an empirical investigation., , , , und . Softw. Test. Verification Reliab., 25 (2): 77-114 (2015)Image Restoration Using One-Dimensional Sobolev Norm Profiles of Noise and Texture., , und . SIAM J. Imaging Sci., 7 (1): 366-390 (2014)MAESTRO: Automated test generation framework for high test coverage and reduced human effort in automotive industry., , , und . Inf. Softw. Technol., (2020)Concolic testing of the multi-sector read operation for flash storage platform software., , und . Formal Aspects Comput., 24 (3): 355-374 (2012)Precise concolic unit testing of C programs using extended units and symbolic alarm filtering., , und . ICSE, Seite 315-326. ACM, (2018)