Exploiting Synergies between Static Analysis and Model-Based Testing.

Sayali Salvi, Daniel Kstner, Christian Ferdinand, Tom Bienmller

Browse the full EDCC paper archive.