The top documents tagged [target c code promela]

Model-based Kernel Testing for Concurrency Bugs through Counter Example Replay Moonzoo Kim, Shin Hong, Changki Hong Provable Software Lab. CS Dept. KAIST,

Model-based Kernel Testing for Concurrency Bugs through Counter Example Replay Moonzoo Kim, Shin Hong, Changki Hong Provable Software Lab. CS Dept. KAIST,

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

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

50 views
Languages
Pages
Legal

Copyright © 2022 FDOCUMENTS