Subjects : Operating system kernel
| Type | Year | Title | Cited | Download |
|---|---|---|---|---|
| Conference | 2009 | Model-based Kernel Testing for Concurrency Bugs through Counter Example Replay 김문주 Workshop on Model Based Testing (MBT) 2009, pp.21-36 |
| Status | Year | Patent Name | Country | Family Pat. | KIPRIS |
|---|---|---|---|---|---|
| No search results. | |||||
| Type | Year | Research Project | Primary Investigator | Download |
|---|---|---|---|---|
| No search results. | ||||