| 公開日期 | 題名 | 作者 | 關聯 | scopus | WOS | 全文 |
|---|---|---|---|---|---|---|
| 2015 | Automatically inferring loop invariants via algorithmic learning | Yungbum Jung; Soonho Kong; Cristina David; Bow-Yaw Wang; Kwangkeun Yi | Mathematical Structures in Computer Science 25(4), 892-915 | |||
| 2010 | Automatically Inferring Quantified Loop Invariants by Algorithmic Learning from Simple Templates | Soonho Kong; Yungbum Jung; Cristina David; Bow-Yaw Wang; Kwangkeun Yi | ||||
| 2010 | Deriving Invariants by Algorithmic Learning, Decision Procedures, and Predicate Abstraction | Yungbum Jung; Soonho Kong; Bow-Yaw Wang; Kwangkeun Yi | ||||
| 2011 | Predicate Generation for Learning-Based Quantifier-Free Loop Invariant Inference | Yungbum Jung; Wonchan Lee; Bow-Yaw Wang ; Kwangkeun Yi | ||||
| 2012 | Predicate Generation for Learning-Based Quantifier-Free Loop Invariant Inference | Wonchan Lee; Yungbum Jung; Bow-Yaw Wang; Kwangkuen Yi | Logical Methods in Computer Science 8(3:25) | |||
| 2011 | Predicate Generation for Learning-Based Quantifier-Free Loop Invariant Inference | Yungbum Jung; Wonchan Lee; Bow-Yaw Wang; Kwangkeun Yi |
