公開日期 | 題名 | 作者 | 關聯 | scopus | WOS | 全文 |
---|---|---|---|---|---|---|
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 | ||||
2011 | Predicate Generation for Learning-Based Quantifier-Free Loop Invariant Inference | Yungbum Jung; Wonchan Lee; Bow-Yaw Wang; Kwangkeun Yi | ||||
2012 | Termination Analysis with Algorithmic Learning | Wonchan Lee; Bow-Yaw Wang; Kwangkeun Yi |