JCHARMING: A bug reproduction approach using crash traces and directed model checking | IEEE Conference Publication | IEEE Xplore