UNIVERSITY OF CALIFORNIA RIVERSIDE Concolic Testing of Programs with Concurrent Dynamic Data Structures A Dissertation submitted in partial satisfaction of the requirements for the degree of Doctor of Philosophy