Model Checking Framework-based Applications with AspectJ Assistance.

Zebin Chen, Stephen Fickas

Browse the full SEKE paper archive.