Added System.Spec as the testing framework