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

D. Geist, M. Farkas, A. Landver, Yossi Lichtenstein, S. Ur, Y. Wolfsthal

Research output: Contribution to conference › Paper

Original language	English
Publication status	Published - Nov 1996
Event	First International Conference, Lecture Notes in Computer Science 1166 - Springer-Verlag Duration: 1 Nov 1996 → …

Conference	First International Conference, Lecture Notes in Computer Science 1166
City	Springer-Verlag
Period	1/11/96 → …

Cite this

@conference{36390e5b431045b0b31192b7f8787414,

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

author = "D. Geist and M. Farkas and A. Landver and Yossi Lichtenstein and S. Ur and Y. Wolfsthal",

year = "1996",

month = nov,

language = "English",

note = "First International Conference, Lecture Notes in Computer Science 1166 ; Conference date: 01-11-1996",

}