Mona Attariyan Jason Flinn Automating Configuration Troubleshooting with Dynamic Information Flow Analysis. 237-250 2010 OSDI http://www.usenix.org/events/osdi10/tech/full_papers/Attariyan.pdf conf/osdi/2010 db/conf/osdi/osdi2010.html#AttariyanF10