High quality behavioral verification using statistical stopping criteria.

Amjad Hajjar, Tom Chen, Isabelle Munn, Anneliese Amschler Andrews, Maria Bjorkman

Browse the full DATE paper archive.