English (United Kingdom)

https://curated-unify.zendy.io/wp-json/zendy-region/v1/featured_content/oa?rat=en

https://curated-unify.zendy.io/wp-json/zendy-region/v1/highlighted_journal/

Global: Zendy Plus annual

Presents the access of premium content as premium feature

Premium Content

Presents the keyphrase highlighting as premium feature

Keyphrase Highlighting

Presents the summarisation as premium feature

Summarisation

Insights

Presents the pdf analysis as premium feature

PDF Analysis

Presents the zaia usage as premium feature

ZAIA

Global: Zendy Plus monthly

Global: Zendy Tools annual

Global: Zendy Tools monthly

Global: Zendy Free Plan

The correctness of compilers is instrumental in the safety and reliability ofother software systems, as bugs in compilers can produce programs that do notreflect the intents of programmers. Compilers are complex software systems dueto the complexity of optimization. GCC is an optimizing C compiler that hasbeen used in building operating systems and many other system software. In thispaper, we describe K-CONFIG, an approach that uses the bugs reported in the GCCrepository to generate new test inputs. Our main insight is that the featuresappearing in the bug reports are likely to reappear in the future bugs, as thebugfixes can be incomplete or those features may be inherently challenging toimplement hence more prone to errors. Our approach first clusters the failingtest input extracted from the bug reports into clusters of similar test inputs.It then uses these clusters to create configurations for Csmith, the mostpopular test generator for C compilers. In our experiments on two versions ofGCC, our approach could trigger up to 36 miscompilation failures, and 179crashes, while Csmith with the default configuration did not trigger anyfailures. This work signifies the benefits of analyzing and using the reportedbugs in the generation of new test inputs.

K-CONFIG: Using Failing Test Cases to Generate Test Cases in GCC Compilers