Extending Data Flow Coverage to Test Constraint Refinements.

Alexander Kolchin, Stepan Potiyenko

Browse the full IFM paper archive.