TY  - RPRT
TI  - PASDA: A Partition-based Semantic Differencing Approach with Best Effort Classification of Undecided Cases
AU  - Johann Glock
AU  - Josef Pichler
AU  - Martin Pinzger
PY  - 2023
DO  - 10.1016/j.jss.2024.112037
UR  - https://arxiv.org/abs/2311.08071
ID  - 2311.08071
ER  -