Shawn (and others): We should look at that and see whether/how this might be useful for us: http://www.cs.ucdavis.edu/~su/publications/icse06-unit.pdf (from a colleague down the hall). Bertram