Papers Citing Difftastic

Åryd, Viktor. "AST Differencing for Solidity." (2024).

Pientka iD, Brigitte. "Modernizing SMT-Based Type Error Localization." PROCEEDINGS OF THE 24TH CONFERENCE ON FORMAL METHODS IN COMPUTER-AIDED DESIGN–FMCAD 2024. Vol. 5. TU Wien Academic Press, 2024.