State of the Art Verification Methodologies in 2015

by Allan Crone, Oliver Bringmann, Christophe Chevallaz, Bryan Dickman, Volkan Esen, and Michael Rohleder
In 2011 Design, Automation & Test in Europe, pages 1–1. IEEE, 2011.