Specification patterns for probabilistic quality properties.

Lars Grunske

Browse the full ICSE paper archive.