Minimal Detecting Transition Sequences: Application to Random Testing

DOI10.1109/TC.1980.1675611zbMath0436.94046OpenAlexW1824597223MaRDI QIDQ3877587

René David, Pascale Thevenod-Fosse

Publication date: 1980

Published in: IEEE Transactions on Computers (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1109/tc.1980.1675611

zbMATH Keywords

random testingtransition sequencesequential circuitdetection setminimal detecting transition sequence

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Related Items (1)

MODIFIED TRANSITION MATRIX AND FAULT TESTING IN SEQUENTIAL LOGIC CIRCUITS UNDER RANDOM STIMULI WITH A SPECIFIED MEASURE OF CONFIDENCE

This page was built for publication: Minimal Detecting Transition Sequences: Application to Random Testing