DATm: Diderot's Automated Testing Model | IEEE Conference Publication | IEEE Xplore