يعرض 1 - 10 نتائج من 88 نتيجة بحث عن '"Oh, Hakjoo"', وقت الاستعلام: 0.85s تنقيح النتائج
  1. 1
    مؤتمر
    Diver: Oracle-Guided SMT Solver Testing with Unrestricted Random Mutations

    المؤلفون: Kim, Jongwook, So, Sunbeom, Oh, Hakjoo

    المصدر: 2023 IEEE/ACM 45th International Conference on Software Engineering (ICSE) ICSE Software Engineering (ICSE), 2023 IEEE/ACM 45th International Conference on. :2224-2236 May, 2023

    Relation: 2023 IEEE/ACM 45th International Conference on Software Engineering (ICSE)

    View Record from ACM Digital Library Full Text Finder
    أضف إلى المفضلة
  2. 2
    مؤتمر
    Learning Seed-Adaptive Mutation Strategies for Greybox Fuzzing

    المؤلفون: Lee, Myungho, Cha, Sooyoung, Oh, Hakjoo

    المصدر: 2023 IEEE/ACM 45th International Conference on Software Engineering (ICSE) ICSE Software Engineering (ICSE), 2023 IEEE/ACM 45th International Conference on. :384-396 May, 2023

    Relation: 2023 IEEE/ACM 45th International Conference on Software Engineering (ICSE)

    View Record from ACM Digital Library Full Text Finder
    أضف إلى المفضلة
  3. 3
    مؤتمر
    Learning to Boost Disjunctive Static Bug-Finders

    المؤلفون: Ko, Yoonseok, Oh, Hakjoo

    المصدر: 2023 IEEE/ACM 45th International Conference on Software Engineering (ICSE) ICSE Software Engineering (ICSE), 2023 IEEE/ACM 45th International Conference on. :1097-1109 May, 2023

    Relation: 2023 IEEE/ACM 45th International Conference on Software Engineering (ICSE)

    View Record from ACM Digital Library Full Text Finder
    أضف إلى المفضلة
  4. 4
    مؤتمر
    Automating Endurance Test for Flash-based Storage Devices in Samsung Electronics

    المؤلفون: Kim, Jinkook, Jeon, Minseok, Jang, Sejeong, Oh, Hakjoo

    المصدر: 2023 IEEE Conference on Software Testing, Verification and Validation (ICST) ICST Software Testing, Verification and Validation (ICST), 2023 IEEE Conference on. :317-326 Apr, 2023

    Relation: 2023 IEEE Conference on Software Testing, Verification and Validation (ICST)

    أضف إلى المفضلة
  5. 5
    مؤتمر
    NPEX: Repairing Java Null Pointer Exceptions without Tests

    المؤلفون: Lee, Junhee, Hong, Seongjoon, Oh, Hakjoo

    المصدر: 2022 IEEE/ACM 44th International Conference on Software Engineering (ICSE) ICSE Software Engineering (ICSE), 2022 IEEE/ACM 44th International Conference on. :1532-1544 May, 2022

    Relation: 2022 IEEE/ACM 44th International Conference on Software Engineering (ICSE)

    View Record from ACM Digital Library Full Text Finder
    أضف إلى المفضلة
  6. 6
    مؤتمر
    SYMTUNER: Maximizing the Power of Symbolic Execution by Adaptively Tuning External Parameters

    المؤلفون: Cha, Sooyoung, Lee, Myungho, Lee, Seokhyun, Oh, Hakjoo

    المصدر: 2022 IEEE/ACM 44th International Conference on Software Engineering (ICSE) ICSE Software Engineering (ICSE), 2022 IEEE/ACM 44th International Conference on. :2068-2079 May, 2022

    Relation: 2022 IEEE/ACM 44th International Conference on Software Engineering (ICSE)

    View Record from ACM Digital Library Full Text Finder
    أضف إلى المفضلة
  7. 7
    مؤتمر
    CENTRIS: A Precise and Scalable Approach for Identifying Modified Open-Source Software Reuse

    المؤلفون: Woo, Seunghoon, Park, Sunghan, Kim, Seulbae, Lee, Heejo, Oh, Hakjoo

    المصدر: 2021 IEEE/ACM 43rd International Conference on Software Engineering (ICSE) ICSE Software Engineering (ICSE), 2021 IEEE/ACM 43rd International Conference on. :860-872 May, 2021

    Relation: 2021 IEEE/ACM 43rd International Conference on Software Engineering (ICSE)

    Full Text Finder
    أضف إلى المفضلة
  8. 8
    مؤتمر
    SAVER: Scalable, Precise, and Safe Memory-Error Repair

    المؤلفون: Hong, Seongjoon, Lee, Junhee, Lee, Jeongsoo, Oh, Hakjoo

    المصدر: 2020 IEEE/ACM 42nd International Conference on Software Engineering (ICSE) ICSE Software Engineering (ICSE), 2020 IEEE/ACM 42nd International Conference on. :271-283 Oct, 2020

    Relation: 2020 IEEE/ACM 42nd International Conference on Software Engineering (ICSE)

    View Record from ACM Digital Library Full Text Finder
    أضف إلى المفضلة
  9. 9
    مؤتمر
    VERISMART: A Highly Precise Safety Verifier for Ethereum Smart Contracts

    المؤلفون: So, Sunbeom, Lee, Myungho, Park, Jisu, Lee, Heejo, Oh, Hakjoo

    المصدر: 2020 IEEE Symposium on Security and Privacy (SP) Security and Privacy (SP), 2020 IEEE Symposium on. :1678-1694 May, 2020

    Relation: 2020 IEEE Symposium on Security and Privacy (SP)

    Full Text Finder
    أضف إلى المفضلة
  10. 10
    مؤتمر
    Resource-Aware Program Analysis Via Online Abstraction Coarsening

    المؤلفون: Heo, Kihong, Oh, Hakjoo, Yang, Hongseok

    المصدر: 2019 IEEE/ACM 41st International Conference on Software Engineering (ICSE) ICSE Software Engineering (ICSE), 2019 IEEE/ACM 41st International Conference on. :94-104 May, 2019

    Relation: 2019 IEEE/ACM 41st International Conference on Software Engineering (ICSE)

    Full Text Finder
    أضف إلى المفضلة
أدوات البحث: أحصل على تغذية RSS – أرسل هذا البحث بالبريد الإلكتروني – حفظ البحث – جدول التنبيهات: لا شيء