1 paper
Hemil Ruparel, Nabarun Mondal
In this paper we formally analyze the software methodology called (iterated) Test Driven Development (TDD). We formally define Specification, Software, Testing, Equivalence Partiti…