Executable specification tests initial contribution