This paper discusses strategies that two high school geometry teachers employed to solve a challenging geometry problem with the aid of dynamic geometry software (The Geometer's Sketchpad (GSP). The teachers were part of a group of teachers who participated in a summer professional institute funded by the National Science Foundation. The paper…

Logic is an important component of software. Thus, software logic testing has enjoyed significant research over a period of decades, with renewed interest in the last several years. One approach to detecting logic faults is to create and execute tests that satisfy logic coverage criteria. Another approach to detecting faults is to perform mutation…