References & Citations
Computer Science > Software Engineering
Title: GreyConE: Greybox fuzzing+Concolic execution guided test generation for high level design
(Submitted on 9 May 2022 (v1), last revised 13 Jul 2022 (this version, v3))
Abstract: Exhaustive testing of high-level designs pose an arduous challenge due to complex branching conditions, loop structures and 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 obstruct achieving the desired coverage in shorter time-span. We interleave greybox fuzzing and concolic execution in a systematic manner and generate quality test-cases 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.
Submission history
From: Animesh Basak Chowdhury [view email][v1] Mon, 9 May 2022 05:34:09 GMT (3525kb,D)
[v2] Tue, 10 May 2022 09:36:02 GMT (3525kb,D)
[v3] Wed, 13 Jul 2022 23:28:01 GMT (4941kb,D)
Link back to: arXiv, form interface, contact.