AEX: a DFA analysis and advisor system | IEEE Conference Publication | IEEE Xplore