Christopher Havlicek

According to our database, Christopher Havlicek authored at least 2 papers in 2018.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2018

Concolic testing of SystemC designs.

Bin Lin, Kai Cong, Zhenkun Yang, Zhi-gang Liao, Tao Zhan, Christopher Havlicek, Fei Xie

Proceedings of the 19th International Symposium on Quality Electronic Design, 2018

CRETE: A Versatile Binary-Level Concolic Testing Framework.

Bo Chen, Christopher Havlicek, Zhenkun Yang, Kai Cong, Raghudeep Kannavara, Fei Xie

Proceedings of the Fundamental Approaches to Software Engineering, 2018