Text this: State-Trace Analysis