A case study in software testing: verification of a face identification algorithm for planar graphs. - Drew Whitmire; Chris Alvin (J. Comput. Sci. Coll., 2019)