Initiability: A Measure Of Sequential Testability | IEEE Conference Publication | IEEE Xplore