We present WGSLsmith, a tool for randomised testing of compilers for the WebGPU Shading Language (WGSL). Under the WebGPU API---now supported by all three major browsers---GPU programs are written in the WebGPU Shading Language (WGSL), and every implementation ships a WGSL compiler that validates shaders and translates...
Michał Andryskowski, Amber Gorzynski, Hasan Mohsin et al.· Companion Proceedings of the...· 0 citations
We present Dredd, a new tool that supports source-level mutation testing for large C/C++ codebases. Following the mutant schemata approach, Dredd applies a source-to-source transformation to a chosen set of files from the system under test (SUT), rewriting them into a metamutant that simulates a large number of distinc...
Alastair F. Donaldson, James Lee-Jones, Jonathan Foo· 0 citations
We present repair-driven greybox fuzzing, a new approach to greybox fuzzing that combines the strengths of unstructured, byte-level input mutation and grammar-guided input generation. By increasing input diversity while preserving input validity, repair-driven fuzzing promises to improve bug-finding ability for systems...
Bachir Bendrissou, Alastair F. Donaldson, Cristian Cadar· 0 citations
This work presents the first complexity-theoretic foundations for random generators in software testing, and characterise efficient generability: a language has a polynomial-time generator iff it admits a \emph{certificate scheme} over a verifier, so witness planting is in a sense the only route to efficient generation...
Ping-Shi Yu, Cheng-Song Tan, Nicolas Wu et al.· arXiv.org· 0 citations
We use cookies to run the site and, with your consent, for analytics and to show ads.
See our Cookie Policy.
