@InProceedings{10.1007/978-3-319-90686-7_10,
author="Antoy, Sergio
and Hanus, Michael",
editor="Gallagher, John P.
and Sulzmann, Martin",
title="Equivalence Checking of Non-deterministic Operations",
booktitle="Functional and Logic Programming",
year="2018",
publisher="Springer International Publishing",
address="Cham",
pages="149--165",
abstract="Checking the semantic equivalence of operations is an important task in software development. For instance, regression testing is a routine task when software systems are developed and improved, and software package managers require the equivalence of operations in different versions of a package within the same major version. In order to support a good automation of this process, a solid foundation is required. It has been shown that the notion of equivalence is not obvious when non-deterministic features are present. In this paper, we discuss a general notion of equivalence in functional logic programs and develop a practical method to check it. Our method can be integrated in a property-based testing tool which is used in a software package manager to check the semantic versioning of software packages.",
isbn="978-3-319-90686-7"
}