Self-Testing without the Generator Bottleneck

DOI10.1137/S0097539796311168MaRDI QIDQ4943887zbMATH OpenFDO

Authors

Publication date 19 March 2000

Published in SIAM Journal on Computing (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1137/S0097539796311168

zbMATH Keywords

generator bottleneckprogram correctnessself-testing

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Specification and verification (program logics, model checking, etc.) (68Q60) Symbolic computation and algebraic computation (68W30)

Recommendations

• On self-testing without the generator bottleneck
• Self-testing in parallel
• scientific article; zbMATH DE number 3908301
• scientific article; zbMATH DE number 1216281
• Efficient testing without efficient regularity
• Automating inductionless induction using test sets
• scientific article; zbMATH DE number 938070
• A loop-based apparatus for at-speed self-testing

Cited in

(5)

• Algebraic testing and weight distributions of codes.
• On self-testing without the generator bottleneck
• A self-tester for linear functions over the integers with an elementary proof of correctness
• scientific article; zbMATH DE number 1263217 (Why is no real title available?)
• scientific article; zbMATH DE number 742944 (Why is no real title available?)

This page was built for publication: Self-Testing without the Generator Bottleneck

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4943887)