Travelled to:1 × Germany
3 × USA
Collaborated with:F.Xie L.Lei Z.Yang K.Hao S.Ray B.C.0008 C.Havlicek R.Kannavara
Talks about:test (3) framework (2) prototyp (2) virtual (2) silicon (2) post (2) versatil (1) synthesi (1) behavior (1) scalabl (1)
Person: Kai Cong
DBLP: Cong:Kai
Contributed to:
2015
2014
20142013
2018Wrote 5 papers:
- ISSTA-2015-CongLYX #automation #fault #injection #robust #testing
- Automatic fault injection for driver robustness testing (KC, LL, ZY, FX), pp. 361–372.
- DAC-2014-YangHCLRX #behaviour #certification #framework #scalability #synthesis
- Scalable Certification Framework for Behavioral Synthesis Front-End (ZY, KH, KC, LL, SR, FX), p. 6.
- DATE-2014-CongLYX #evaluation #prototype #testing #validation
- Coverage evaluation of post-silicon validation tests with virtual prototypes (KC, LL, ZY, FX), pp. 1–6.
- DAC-2013-LeiXC #consistency #prototype
- Post-silicon conformance checking with virtual prototypes (LL, FX, KC), p. 6.
- FASE-2018-ChenHYCKX #framework #named #testing
- CRETE: A Versatile Binary-Level Concolic Testing Framework (BC0, CH, ZY, KC, RK, FX), pp. 281–298.