Software Logic Mutation Testing Presented by Gary Kaminski.
Differential Forms for Target Tracking and Aggregate Queries in Distributed Networks