fix naming of tests: prefix with "Executable Specification"