Evaluating Semi-Exhaustive Verification Techniques for Bug Hunting

By Ranan Fraer, Gila Kamhi, Limor Fix and Moshe Y. Vardi

Publisher: Elsevier BV

Year: 2004

DOI identifier: 10.1016/s1571-0661(04)80665-0

OAI identifier:

Provided by: MUCC (Crossref)

Download PDF:
_{Sorry, we are unable to provide the full text but you may find it at the
following location(s):}

https://doi.org/10.1016/s1571-... (external link)