@inproceedings{DifferencingTool2024,
	author = "C{\'e}line Deknop and Johan Fabry and Kim Mens and Vadim Zaytsev",
	title = "{Visual Assurance in Refactoring through Trace Equivalence of Control Flow Graphs}",
	booktitle = "{Proceedings of the 31st IEEE International Conference on Software Analysis, Evolution and Reengineering, Tools Demo Track (SANER)}",
	year = 2024,
	editor = "Valentina Lenarduzzi and Davide Taibi and Xiaozhou Li and Fabiano Pecorelli",
	pages = "835--839",
	doi = "10.1109/SANER60148.2024.00091",
}