Stem jcharm$ (all stems)
1 papers:
SANER-2015-NayrollesHTL #approach #debugging #model checking #named #using- JCHARMING: A bug reproduction approach using crash traces and directed model checking (MN, AHL, ST, AL), pp. 101–110.
SANER-2015-NayrollesHTL #approach #debugging #model checking #named #using