Che-Sheng Lin

According to our database, Che-Sheng Lin authored at least 6 papers between 2009 and 2014.

Collaborative distances:

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

2014

A model-free and state-cover testing scheme for semaphore-based and shared-memory concurrent programs.

Gwan-Hwan Hwang, Che-Sheng Lin, Teng-Shuo Lee, Chi Wu-Lee

Softw. Test. Verification Reliab., 2014

Statement-Coverage Testing for Concurrent Programs in Reachability Testing.

Gwan-Hwan Hwang, Heng-Yi Lin, Shao-Yan Lin, Che-Sheng Lin

J. Inf. Sci. Eng., 2014

2013

State-cover testing for nondeterministic terminating concurrent programs with an infinite number of synchronization sequences.

Che-Sheng Lin, Gwan-Hwan Hwang

Sci. Comput. Program., 2013

2012

Statement-Coverage Testing for Nondeterministic Concurrent Programs.

Gwan-Hwan Hwang, Heng-Yi Lin, Shao-Yan Lin, Che-Sheng Lin

Proceedings of the Sixth International Symposium on Theoretical Aspects of Software Engineering, 2012

2009

Spontaneous Detection of Infinite Loops and Livelocks in Dynamic Testing of Concurrent Programs.

Che-Sheng Lin, Gwan-Hwan Hwang

Proceedings of the TASE 2009, 2009

A Framework and Language Support for Automatic Dynamic Testing of Workflow Management Systems.

Gwan-Hwan Hwang, Che-Sheng Lin, Li-Te Tsao, Kuei-Huan Chen, Yan-You Li

Proceedings of the TASE 2009, 2009