Formal Test-Driven Development with Verified Test Cases

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

Abstract:

Reference: B. Aichernig, F. L. Lorber, and S. Tiran. Formal test-driven development with verified test cases. In J. F. Luis Ferreira Pires, Slimane Hammoudi and R. C. das Neves, editors, Proceedings of the 2^nd International Conference on Model-Driven Engineering and Software Development, pages 626-635, Lisbon, January 2014. SCITEPRESS - Science and Technology Publications.