Virginia Tech researcher eyes automated process in debugging complex concurrent software