DMCA

Model-Based Testing of Object-Oriented Reactive Systems with Spec Explorer (2007)

by Margus Veanes , Colin Campbell , Wolfgang Grieskamp , Wolfram Schulte , Nikolai Tillmann , Lev Nachmanson
Citations:35 - 9 self