Using constraint solvers to support metamorphic testing

Carmen De Castro-Cabrera, M., Garcia-Dominguez, Antonio orcid.org/0000-0002-4744-9150 and Medina-Bulo, Inmaculada (2019) Using constraint solvers to support metamorphic testing. In: Proceedings - 2019 IEEE/ACM 4th International Workshop on Metamorphic Testing, MET 2019. 4th IEEE/ACM International Workshop on Metamorphic Testing, MET 2019, 26 May 2019 Proceedings - 2019 IEEE/ACM 4th International Workshop on Metamorphic Testing, MET 2019 . Institute of Electrical and Electronics Engineers Inc. , CAN , pp. 32-39.

Abstract

Metadata

Item Type: Proceedings Paper
Authors/Creators:
Copyright, Publisher and Additional Information:

Funding Information: Paper partially funded by the European Commission (FEDER) and the Spanish Government under the National Program for Research, Development and Innovation, Societal Challenges Oriented, Project DArDOS (TIN2015-65845-C3-3-R). Publisher Copyright: © 2019 IEEE. 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.

Keywords: Constraint programming systems,Constraint solvers,Metamorphic relations,Validation
Dates:
  • Published: 5 August 2019
Institution: The University of York
Academic Units: The University of York > Faculty of Sciences (York) > Computer Science (York)
Depositing User: Pure (York)
Date Deposited: 01 May 2024 10:00
Last Modified: 08 Feb 2025 00:13
Published Version: https://doi.org/10.1109/MET.2019.00013
Status: Published
Publisher: Institute of Electrical and Electronics Engineers Inc.
Series Name: Proceedings - 2019 IEEE/ACM 4th International Workshop on Metamorphic Testing, MET 2019
Identification Number: 10.1109/MET.2019.00013
Related URLs:
Open Archives Initiative ID (OAI ID):

Download

Filename: Using_constraint_solvers_to_support_metamorphic_testing.pdf

Description: Using constraint solvers to support metamorphic testing

Export

Statistics