ResearchWho?

김문주

Associate Professor

한국과학기술원 공과대학 전산학부

논문[4]

#4. Directed Model Checking for Fast Abstract Reachability Analysis

2021.11.25 · IEEE Access · 9:158738-158750

(DOI) https://doi.org/10.1109/ACCESS.2021.3130569

#3. Validating Software Reliability Early through Statistical Model Checking

2013.2.21 · IEEE Software · 30(3):35-41

(DOI) https://doi.org/10.1109/MS.2013.24

프로시딩[20]

#20. POWER: Program Option-Aware Fuzzer for High Bug Detection Ability

2022.4.04:220-231

(DOI) https://doi.org/10.1109/ICST53961.2022.00032

#19. CITRUS: Automated Unit Testing Tool for Real-world C++ Programs

2022.4.04:400-410

(DOI) https://doi.org/10.1109/ICST53961.2022.00046