High quality behavioral verification using statistical stopping criteria

Amjad Hajjar, Tom Chen, Isabelle Munn, Anneliese Amschler Andrews, Maria Bjorkman. High quality behavioral verification using statistical stopping criteria. In DATE. pages 411-419, 2001. [doi]

Abstract

Abstract is missing.