Mutation Analysis: Answering the Fuzzing Challenge

01/27/2022
by   Rahul Gopinath, et al.
0

Fuzzing is one of the fastest growing fields in software testing. The idea behind fuzzing is to check the behavior of software against a large number of randomly generated inputs, trying to cover all interesting parts of the input space, while observing the tested software for anomalous behaviour. One of the biggest challenges facing fuzzer users is how to validate software behavior, and how to improve the quality of oracles used. While mutation analysis is the premier technique for evaluating the quality of software test oracles, mutation score is rarely used as a metric for evaluating fuzzer quality. Unless mutation analysis researchers can solve multiple problems that make applying mutation analysis to fuzzing challenging, mutation analysis may be permanently sidelined in one of the most important areas of testing and security research. This paper attempts to understand the main challenges in applying mutation analysis for evaluating fuzzers, so that researchers can focus on solving these challenges.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
01/31/2023

Property-Based Mutation Testing

Mutation testing is an established software quality assurance technique ...
research
02/10/2021

SN4KE: Practical Mutation Testing at Binary Level

Mutation analysis is an effective technique to evaluate a test suite ade...
research
01/13/2021

Mutation Analysis for Cyber-Physical Systems: Scalable Solutions and Results in the Space Domain

On-board embedded software developed for spaceflight systems (space soft...
research
09/07/2018

Dynamic Mutant Subsumption Analysis using LittleDarwin

Many academic studies in the field of software testing rely on mutation ...
research
02/12/2021

μSE: Mutation-based Evaluation of Security-focused Static Analysis Tools for Android

This demo paper presents the technical details and usage scenarios of μS...
research
12/06/2022

How to Compare Fuzzers

Fuzzing is a key method to discover vulnerabilities in programs. Despite...
research
01/28/2023

Assertion Inferring Mutants

Specification inference techniques aim at (automatically) inferring a se...

Please sign up or login with your details

Forgot password? Click here to reset