Guided path exploration for regression test generation | IEEE Conference Publication | IEEE Xplore