Interval constraint-based mutation testing of numerical specifications

Open Webpage

Clothilde Jeangoudoux, Eva Darulova, Christoph Quirin Lauter

Published: 2021, Last Modified: 02 Mar 2026ISSTA 2021EveryoneRevisionsBibTeXCC BY-SA 4.0