BROWSE
Detail
Conference Paper
Model-based Kernel Testing for Concurrency Bugs through Counter Example Replay
Cited - time in 
Download 0 time
Share 
Download 0 time
Share
- Authors
- Moon Zoo Kim, Shin Hong, Chang Ki Hong, Tae Ho Kim
- Issue Date
- 2009-03
- Citation
- Workshop on Model Based Testing (MBT) 2009, pp.21-36
- Language
- English
- Type
- Conference Paper
- Project Code
- 08MS1100, Development of Device-Adaptive Embedded Operating System for Mobile Convergence Computing, Park Seung-Min
- KSP Keywords
- concurrency bugs, model-based