Test sequence generation for controller verification and test with high coverage

Sezer Gören, F. Joel Ferguson. Test sequence generation for controller verification and test with high coverage. ACM Trans. Design Autom. Electr. Syst., 11(4):916-938, 2006. [doi]

Abstract

Abstract is missing.