Shao-Yan Lin

Publication Activity (10 Years)

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

Top Topics

Software Engineering

Formal Specification

Concurrent Programs

Top Venues

J. Inf. Sci. Eng.

Publications

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)
Gwan-Hwan Hwang, Heng-Yi Lin, Shao-Yan Lin, Che-Sheng Lin
Statement-Coverage Testing for Nondeterministic Concurrent Programs. TASE (2012)