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
Depositing User:	Elle Green
Date Deposited:	06 Jul 2012 13:00
Last Modified:	11 Aug 2021 23:41
URI:	https://ueaeprints.uea.ac.uk/id/eprint/39110
DOI:

Actions (login required)

View Item