Vitalsource Technologies, Inc. Formal Approaches To Software Testing And Runtime Verification