This vaguely reminds me of Microsoft's CHESS testing tool: http://research.microsoft.com/en-us/projects/chess/. An interesting research project that (IMO) didn't get its proper day in the limelight.