Program-based, structural testing of shared memory parallel programs - Yang, Cheer-Sun David (ProQuest Dissertations and Theses, 1999)