Search Results - Jung, Yungbum

  • Showing 1 - 5 results of 5
Refine Results
  1. 1
    MeCC: memory comparison-based clone detector

    MeCC: memory comparison-based clone detector by Kim, Heejung, Jung, Yungbum, Kim, Sunghun, Yi, Kwankeun

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  2. 2
    Reducing False Alarms from an Industrial-Strength Static Analyzer by SVM

    Reducing False Alarms from an Industrial-Strength Static Analyzer by SVM by Yoon, Jongwon, Jin, Minsik, Jung, Yungbum

    Request full text
    Items that cite this one
    Conference Proceeding
    Save to List
    Saved in:
  3. 3
    Predicate Generation for Learning-Based Quantifier-Free Loop Invariant Inference

    Predicate Generation for Learning-Based Quantifier-Free Loop Invariant Inference by Lee, Wonchan, Jung, Yungbum, Wang, Bow-yaw, Yi, Kwangkuen

    Get full text
    Article
    Save to List
    Saved in:
  4. 4
    Automatically inferring loop invariants via algorithmic learning

    Automatically inferring loop invariants via algorithmic learning by JUNG, YUNGBUM, KONG, SOONHO, DAVID, CRISTINA, WANG, BOW-YAW, YI, KWANGKEUN

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  5. 5
    Predicate Generation for Learning-Based Quantifier-Free Loop Invariant Inference

    Predicate Generation for Learning-Based Quantifier-Free Loop Invariant Inference by Lee, Wonchan, Jung, Yungbum, Wang, Bow-yaw, Kwangkuen Yi

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:

Search Tools: