Lin-Zan Cai

According to our database, Lin-Zan Cai authored at least 2 papers between 2007 and 2009.

Collaborative distances:

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

2009

LTL Model Checking for Recursive Programs.

Geng-Dian Huang, Lin-Zan Cai, Farn Wang

Proceedings of the Automated Technology for Verification and Analysis, 2009

2007

Test automation for kernel code and disk arrays with virtual devices.

Lin-Zan Cai, Rong-Shiung Wu, Wen-Ting Huang, Farn Wang

Proceedings of the 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE 2007), 2007