Avoiding State-space Explosion in Multithreaded Programs with Input-covering Schedules and Symbolic Execution
(Q113668215)
doctoral thesis by Tom Bergan, Computer Science & Engineering, University of Washington, 2014
doctoral thesis by Tom Bergan, Computer Science & Engineering, University of Washington, 2014
Language:
Current Data About
Avoiding State-space Explosion in Multithreaded Programs with Input-covering Schedules and Symbolic Execution
| (P31) |
(Q187685)
|
||||||||
| (P50) |
(Q102426829)
|
||||||||
| (P407) |
(Q1860)
|
||||||||
| (P571) |
+2014-00-00T00:00:00Z
|
||||||||
| (P953) |
http://hdl.handle.net/1773/25357
|
||||||||
| (P1104) |
127
6
|
||||||||
| (P1476) |
"Avoiding State-space Explosion in Multithreaded Programs with Input-covering Schedules and Symbolic Execution" (language: en)
|
||||||||
| (P4101) |
(Q219563)
|
||||||||
| (P5008) |
(Q98970039)
|
||||||||
| (P9161) |
(Q89454354)
|
other details
| description | doctoral thesis by Tom Bergan, Computer Science & Engineering, University of Washington, 2014 |
External Links
| (P243) |
890659844
|
| (P1184) |
1773/25357
|