Formal Test-Driven Development with Verified Test Cases

B. Aichernig, F. Lorber, and S. Tiran

Abstract:

Reference: B. Aichernig, F. Lorber, and S. Tiran. Formal test-driven development with verified test cases. Technical report, Institute for Software Technology (IST), Graz University of Technology, 2012.