SMS versenden: Functional program testing and analysis.