Automatic Generation of Potentially Pathological Instances for Validating Alloy Models
['Takaya Saeki', 'Fuyuki Ishikawa', 'Shinichi Honiden']
Automatic Generation of Potentially Pathological Instances for Validating Alloy Models