Interval constraint-based mutation testing of numerical specifications.

Clothilde Jeangoudoux, Eva Darulova, Christoph Quirin Lauter

Browse the full ISSTA paper archive.