DC Field | Value | Language |
---|---|---|
dc.contributor.author | Kim, Moonzoo | ko |
dc.contributor.author | Hong S. | ko |
dc.contributor.author | Hong C. | ko |
dc.contributor.author | Kim T. | ko |
dc.date.accessioned | 2013-03-11T00:06:05Z | - |
dc.date.available | 2013-03-11T00:06:05Z | - |
dc.date.created | 2012-02-06 | - |
dc.date.created | 2012-02-06 | - |
dc.date.issued | 2009-10 | - |
dc.identifier.citation | ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, v.253, no.2, pp.21 - 36 | - |
dc.identifier.issn | 1571-0661 | - |
dc.identifier.uri | http://hdl.handle.net/10203/97747 | - |
dc.description.abstract | Despite the growing need for customized operating system kernels for embedded devices, kernel development continues to suffer from high development and testing costs for several reasons, including the high complexity of the kernel code, the infeasibility of unit testing, exponential numbers of concurrent behaviors, and a lack of proper tool support. To alleviate these difficulties, this study proposes the MOdel-based KERnel Testing (MOKERT) framework, which supports detection of concurrency bugs in the kernel by combining both model checking techniques and testing methods. The MOKERT framework was applied to the file systems of the Linux 2.6 kernel and found a data race bug in the proc file system. © 2009. | - |
dc.language | English | - |
dc.publisher | Elsevier BV | - |
dc.title | Model-based Kernel Testing for Concurrency Bugs through Counter Example Replay | - |
dc.type | Article | - |
dc.identifier.scopusid | 2-s2.0-70349768063 | - |
dc.type.rims | ART | - |
dc.citation.volume | 253 | - |
dc.citation.issue | 2 | - |
dc.citation.beginningpage | 21 | - |
dc.citation.endingpage | 36 | - |
dc.citation.publicationname | ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE | - |
dc.contributor.localauthor | Kim, Moonzoo | - |
dc.contributor.nonIdAuthor | Hong S. | - |
dc.contributor.nonIdAuthor | Hong C. | - |
dc.contributor.nonIdAuthor | Kim T. | - |
dc.subject.keywordAuthor | counter example analysis | - |
dc.subject.keywordAuthor | Model checking | - |
dc.subject.keywordAuthor | model extraction | - |
dc.subject.keywordAuthor | testing | - |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.