Reliability tests of change information, design and implementation. Logical consistency of updates.
In progress (GI-N2K)