Model level design pattern instance detection using answer set programming.

Gaurab Luitel, Matthew Stephan, Daniela Inclezan

Browse the full ICSE paper archive.