Regular ArticleSpot-Checkers☆

This work presents spot-checkers for sorting, convex hull, element distinctness, set containment, set equality, total orders, and correctness of group and field operations and shows that the spot-checking model can be applied to problems in a wide range of areas, including problems regarding graphs, sets, and algebra.