Atom | Trace Analysis Testing and Verification