Metamorphic testing of constraint solvers

Akgun, Ozgur, Gent, Ian Philip, Jefferson, Christopher Anthony et al. (2 more authors) (2018) Metamorphic testing of constraint solvers. In: Hooker, John, (ed.) Principles and Practice of Constraint Programming:24th International Conference, CP 2018, Lille, France, August 27-31, 2018, Proceedings. Lecture Notes in Computer Science . Springer , Netherlands , pp. 727-736.



Copyright, Publisher and Additional Information: © Springer Nature Switzerland AG 2018. This is an author-produced version of the published paper. Uploaded in accordance with the publisher’s self-archiving policy. Further copying may not be permitted; contact the publisher for details. Funding: EPSRC EP/P015638/1 and EP/P026842/1. Dr Jefferson holds a Royal Society University Research Fellowship.
  • Published: 23 August 2018
Institution: The University of York
Academic Units: The University of York > Faculty of Sciences (York) > Computer Science (York)
Depositing User: Pure (York)
Date Deposited: 25 Jan 2019 15:30
Last Modified: 25 Nov 2021 01:30
Published Version:
Status: Published
Publisher: Springer
Series Name: Lecture Notes in Computer Science
Refereed: No
Identification Number:
Related URLs:


Filename: CP2018_Testing.pdf

Description: CP2018_Testing

Share / Export