Automatic Generation of Potentially Pathological Instances for Validating Alloy Models.

Takaya Saeki, Fuyuki Ishikawa, Shinichi Honiden

Browse the full ICFEM paper archive.