Added specification based testing example
Format change