How “Specification by Example” and Test-Driven Development Help to Avoid Technial Debt | IEEE Conference Publication | IEEE Xplore