How testRigor Achieved Success with Executable Specifications