Aladdin: Assembly Language Assertion Driven Debugging Interpreter | IEEE Journals & Magazine | IEEE Xplore