From: Testing of aspect-oriented programs: difficulties and lessons learned based on theoretical and practical experience
(Null) hypotheses
H5
STATEMENT OO⇔AO = STATEMENT AO⇔OO
H6
BRANCH OO⇔AO = BRANCH AO⇔OO