ETRI-Knowledge Sharing Plaform

KOREAN
논문 검색
Type SCI
Year ~ Keyword

Detail

Conference Paper Model-based Kernel Testing for Concurrency Bugs through Counter Example Replay
Cited - time in scopus Download 0 time Share share facebook twitter linkedin kakaostory
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