Abstract: An iterative initial sequence acquisition technique is proposed for the pseudo-noise signal derived from a pair of m-sequences used for generating the concatenated sequence, which relies on ...

Abstract: Path coverage is of critical importance in software testing and verification. Furthermore, path explosion is a well-known challenge for automatic software analysis techniques like symbolic ...