Constantin Sârbu Andréas Johansson Falk Fraikin Neeraj Suri Improving Robustness Testing of COTS OS Extensions. 120-139 2006 conf/isas/2006 ISAS http://dx.doi.org/10.1007/11955498_9 db/conf/isas/isas2006.html#SarbuJFS06