Anti-Patterns (Smells) in Temporal Specifications.

Dor Ma'ayan, Shahar Maoz, Jan Oliver Ringert

Browse the full ICSE paper archive.