Concolic Testing Of Programs With Concurrent Dynamic Data Structures