Browse "CS-Journal Papers(저널논문)" by Author Kim T.

Showing results 2 to 2 of 2

2
Model-based Kernel Testing for Concurrency Bugs through Counter Example Replay

Kim, Moonzoo; Hong S.; Hong C.; Kim T., ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, v.253, no.2, pp.21 - 36, 2009-10

Discover

Type

Open Access

Date issued

. next

rss_1.0 rss_2.0 atom_1.0