![](/img/cover-not-exists.png)
Synchronizing sequences and symbolic traversal techniques in test generation
Hyunwoo Cho, Seh-Woong Jeong, Fabio Somenzi, Carl PixleyVolume:
4
Language:
english
Pages:
13
DOI:
10.1007/bf00971937
Date:
February, 1993
File:
PDF, 1.20 MB
english, 1993