Coverage-Directed Test Generation Using Symbolic Techniques, Formal Methods in CAD

Geist, D., Farkas, M., Landver, A., Lichtenstein, Yossi, Ur, S. and Wolfsthal, Y. (1996) Coverage-Directed Test Generation Using Symbolic Techniques, Formal Methods in CAD. In: First International Conference, Lecture Notes in Computer Science 1166, 1996-11-01.

Full text not available from this repository.
Item Type: Conference or Workshop Item (Paper)
Faculty \ School: Faculty of Social Sciences > Norwich Business School
?? NBS-LON ??
Depositing User: Elle Green
Date Deposited: 06 Jul 2012 14:00
Last Modified: 14 Feb 2019 01:00
URI: https://ueaeprints.uea.ac.uk/id/eprint/39110
DOI:

Actions (login required)

View Item