Test-driven porting | IEEE Conference Publication | IEEE Xplore