Mathieu Nayrolles, Abdelwahab Hamou-Lhadj, Sofiène Tahar, Alf Larsson. JCHARMING: A bug reproduction approach using crash traces and directed model checking. In Yann-Gaël Guéhéneuc, Bram Adams, Alexander Serebrenik, editors, 22nd IEEE International Conference on Software Analysis, Evolution, and Reengineering, SANER 2015, Montreal, QC, Canada, March 2-6, 2015. pages 101-110, IEEE, 2015. [doi]
Abstract is missing.