Path-Aware Static Program Analyses for Specification Mining* - Mining Software Specifications: Methodologies and Applications - page 335

100%

80%

>=4 predicates
3 predicates
2 predicates
1 predicates
0 predicates

60%

40%

20%

0%

apache linux openssh osip postgreSQL procmail zebra

Benchmarks
(a) Dataflow predicate distribution

100%

80%

others
12−14
9−11
6−8
3−5
2 or less

60%

40%

20%

0%

apache linux openssh osip postgreSQL procmail zebra

Benchmarks
(b) Control-flow predicate distribution

FIGURE 9.14: Predicate distributions.