Template Method test pattern

This paper presents a structured approach to test instances of the Template Method pattern in an elegant way using the Factory pattern. Furthermore, we introduce the new concept semi-abstract method to reason about concrete methods that depend on abstract operations. We formalize the pattern and demonstrate the approach at work using an example program.