Automating the debugging of datacenter applications with ADDA | IEEE Conference Publication | IEEE Xplore