Paper on partition-based semantic differencing accepted by JSS

Our paper PASDA: A Partition-based Semantic Differencing Approach with Best Effort Classification of Undecided Cases by Johann Glock, Josef Pichler, and Martin Pinzger has been accepted for publication in the Journal of Systems and Software (JSS). The online version of the paper is available as open access.