An integrated experimental environment for distributed systems and networks
Bugs as deviant behavior: a general approach to inferring errors in systems code