GreyConE: Greybox Fuzzing + Concolic Execution Guided Test Generation for High Level Designs

Document Type

Conference Article

Publication Title

Proceedings - International Test Conference

Abstract

Exhaustive testing of high-level designs poses an arduous challenge due to complex branching conditions, loop structures, and the inherent concurrency of hardware designs. Test engineers aim to generate quality test cases satisfying various code coverage metrics to ensure minimal presence of bugs in a design. Prior works in testing SystemC designs are time inefficient which obstructs achieving the desired coverage in a shorter time-span. We interleave greybox fuzzing and concolic execution in a systematic manner and generate quality test cases for accelerating test coverage metrics. Our results outperform state-of-the-art methods in terms of number of test cases and branch-coverage for some of the benchmarks, and runtime for most of them.

First Page

494

Last Page

498

DOI

10.1109/ITC50671.2022.00059

Publication Date

1-1-2022

This document is currently not available here.

Share

COinS