Detecting associative shift faults in predicate testing. - Stamelos, Ioannis (Journal of Systems & Software, 2003)