Efficient techniques for automatic verification-oriented test set optimization

DOI10.1007/S10766-005-0005-7MaRDI QIDQ2506301zbMATH OpenOpenAlexWikidataFDO

Authors Ernesto Sánchez, Matteo Sonza Reorda, Giovanni Squillero

Publication date 28 September 2006

Published in International Journal of Parallel Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s10766-005-0005-7

zbMATH Keywords

evolutionary algorithmmicroprocessortest-set optimizationValidation

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• scientific article; zbMATH DE number 1962881
• Optimizing system-on-chip verifications with multi-objective genetic evolutionary algorithms
• Microprocessor architectural automatic test program generation
• scientific article; zbMATH DE number 1956608
• Efficient mutation-analysis coverage for constrained random verification

Cited in

(6)

• Efficient mutation-analysis coverage for constrained random verification
• Optimizing system-on-chip verifications with multi-objective genetic evolutionary algorithms
• scientific article; zbMATH DE number 1956608 (Why is no real title available?)
• scientific article; zbMATH DE number 1962062 (Why is no real title available?)
• scientific article; zbMATH DE number 1962881 (Why is no real title available?)
• Binary programming-based transparency path construction for SoC test access

This page was built for publication: Efficient techniques for automatic verification-oriented test set optimization

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