MUTAGEN: Faster Mutation-Based Random Testing (ICSE 2021 - SRC - ACM Student Research Competition)

Track

ICSE 2021 SRC - ACM Student Research Competition

Time Zone

The program is currently displayed in (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna.

Use conference time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, ViennaSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Save

When

Tue 25 May 2021 11:30 - 13:30 at SRC Room 1 - SRC Poster Session 1 Chair(s): Aurora Ramírez, Sergio Segura

Abstract

We present MUTAGEN, a fully automated mutation-oriented framework for property-based testing. Our tool uses novel heuristics to improve the performance of the testing loop, and it is capable of finding complex bugs within seconds. We evaluate MUTAGEN by generating random WebAssembly programs that we use to find bugs in a faulty validator.

Link to Preprint

http://www.cse.chalmers.se/~mista/assets/pdf/icse21-src.pdf

YT Video

Time Zone

The program is currently displayed in (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna.

Use conference time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, ViennaSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

Display full programSpecify a time band

Save

Session Program

Tue 25 May
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

11:30 - 13:30	SRC Poster Session 1SRC - ACM Student Research Competition at SRC Room 1 Chair(s): Aurora Ramírez University of Córdoba, Sergio Segura Universidad de Sevilla

11:30 2h Poster		Effect on brain activity while programming with (without) musicACM SRC SRC - ACM Student Research Competition Ananga Thapaliya Innopolis University, Russia Media Attached
11:30 2h Poster		Anomaly Detection in Scratch AssignmentsACM SRC SRC - ACM Student Research Competition Nina Körber University of Passau Pre-print Media Attached File Attached
11:30 2h Poster		Testing Object Detection for Autonomous Driving Systems via 3D ReconstructionACM SRC SRC - ACM Student Research Competition Jinyang Shao Wuhan University, China Pre-print Media Attached
11:30 2h Poster		Scalable Call Graph Constructor for MavenACM SRC SRC - ACM Student Research Competition Mehdi Keshani Delft University of Technology Pre-print Media Attached File Attached
11:30 2h Poster		System Component-Level Self-Adaptations for Security via Bayesian GamesACM SRC SRC - ACM Student Research Competition Mingyue Zhang Peking University, China Pre-print Media Attached
11:30 2h Poster		SetDroid: Detecting User-configurable Setting Issues of Android Apps via Metamorphic FuzzingACM SRC SRC - ACM Student Research Competition Jingling Sun East China Normal University, China Media Attached File Attached
11:30 2h Poster		Let's not make a fuzz about itACM SRC SRC - ACM Student Research Competition Elisabet Lobo-Vesga Chalmers University of Technology, Sweden Pre-print Media Attached
11:30 2h Poster		MUTAGEN: Faster Mutation-Based Random TestingACM SRC SRC - ACM Student Research Competition Agustín Mista Chalmers University of Technology Pre-print Media Attached
11:30 2h Poster		Detecting User-Perceived Service Failure in Mobile Applications via Mining User TracesACM SRC SRC - ACM Student Research Competition Deyu Tian Peking University Pre-print Media Attached
11:30 2h Poster		Metamorphic Testing of Autonomous Vehicles: a Case Study on SimulinkACM SRC SRC - ACM Student Research Competition Pablo Valle University of Mondragon Pre-print Media Attached
11:30 2h Poster		Distribution Awareness for AI System TestingACM SRC SRC - ACM Student Research Competition David Berend Nanyang Technological University, Singapore Pre-print Media Attached

MUTAGEN: Faster Mutation-Based Random Testing

ACM SRC

Tue 25 May
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Agustín Mista

Chalmers University of Technology

Tracks

Co-hosted Conferences

Workshops

Contests

Co-hosted Symposia

MUTAGEN: Faster Mutation-Based Random Testing

ACM SRC

Program Display Configuration

Program Display Configuration

Tue 25 MayDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Agustín Mista

Chalmers University of Technology

Tue 25 May
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change