A. J. van de Goor;J. A. M. van Tetering
Technical Univ. of Delft, Delft, The Netherlands;Bell Telephone, Antwerp, Belgium
RISE++: A Symbolic Environment for Scan-Based Testing
IEEE Design & Test