Che-Sheng Lin

Publication Activity (10 Years)

Years Active: 2009-2014
Publications (10 Years): 0

Top Topics

Parallel Tree Search

Concurrent Programs

Web Applications

Process Algebra

Top Venues

J. Inf. Sci. Eng.

Softw. Test. Verification Reliab.

Sci. Comput. Program.

Publications

Gwan-Hwan Hwang, Che-Sheng Lin, Teng-Shuo Lee, Chi Wu-Lee
A model-free and state-cover testing scheme for semaphore-based and shared-memory concurrent programs. Softw. Test. Verification Reliab. 24 (8) (2014)
Gwan-Hwan Hwang, Heng-Yi Lin, Shao-Yan Lin, Che-Sheng Lin
Statement-Coverage Testing for Concurrent Programs in Reachability Testing. J. Inf. Sci. Eng. 30 (4) (2014)
Che-Sheng Lin, Gwan-Hwan Hwang
State-cover testing for nondeterministic terminating concurrent programs with an infinite number of synchronization sequences. Sci. Comput. Program. 78 (9) (2013)
Gwan-Hwan Hwang, Heng-Yi Lin, Shao-Yan Lin, Che-Sheng Lin
Statement-Coverage Testing for Nondeterministic Concurrent Programs. TASE (2012)
Che-Sheng Lin, Gwan-Hwan Hwang
Spontaneous Detection of Infinite Loops and Livelocks in Dynamic Testing of Concurrent Programs. TASE (2009)
Gwan-Hwan Hwang, Che-Sheng Lin, Li-Te Tsao, Kuei-Huan Chen, Yan-You Li
A Framework and Language Support for Automatic Dynamic Testing of Workflow Management Systems. TASE (2009)