SACC - A property driven approach to expose undesired behaviors among system's components.

Kaushik Madala, Ke Ye Hang, Hyunsook Do, Bastian Tenbergen

Browse the full ISSRE paper archive.