STAR: Stack Trace Based Automatic Crash Reproduction via Symbolic Execution | IEEE Journals & Magazine | IEEE Xplore