Reconfigurable Model-Based Test Program Generator for Microprocessors - Kamkin, Alexander; Kornykhin, Eugene; Vorobyev, Dmitry (2011 IEEE Fourth International Conference on Software Testing, Verification and Validation Workshops, Software Testing, Verification and Validation Workshops (ICSTW), 2011 IEEE Fourth International Conference on, 2011)