* ICSE 2018 *
Sun 27 May - Sun 3 June 2018 Gothenburg, Sweden
Wed 30 May 2018 14:00 - 14:30 at E1/A room - Mutation testing Chair(s): Lutz Prechelt

Creating models of software systems and analyzing the models helps develop more reliable systems. A well-known software modeling tool-set is embodied by the declarative language Alloy and its automatic SAT-based analyzer. Recent work introduced a novel approach to testing Alloy models to validate their correctness in the spirit of traditional software testing: AUnit defined the foundations of testing (unit tests, test execution, and model coverage) for Alloy, and MuAlloy defined mutation testing (mutation operators, mutant generation, and equivalent mutant checking) for Alloy. This tool paper describes our Java implementation of MuAlloy, which is a command-line tool that we released as an open-source project on GitHub. Our experimental results show that MuAlloy is efficient and practical. The demo video for MuAlloy can be found at https://youtu.be/3lvnQKiLcLE.

Wed 30 May
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

14:00 - 15:30: Mutation testingDEMO - Demonstrations at E1/A room
Chair(s): Lutz PrecheltFreie Universität Berlin
14:00 - 14:30
MuAlloy: A Mutation Testing Framework for Alloy
DEMO - Demonstrations
Kaiyuan Wang, Allison Sullivan, Sarfraz KhurshidUniversity of Texas at Austin
Link to publication File Attached
14:30 - 15:00
An Extensible, Regular-Expression-Based Tool for Multi-Language Mutant Generation
DEMO - Demonstrations
Alex GroceNorthern Arizona University, Josie HolmesPennsylvania State University, USA, Darko MarinovUniversity of Illinois at Urbana-Champaign, August ShiUniversity of Illinois at Urbana-Champaign, Lingming Zhang
Pre-print Media Attached
15:00 - 15:30
MDroid+: A Mutation Testing Framework for Android
DEMO - Demonstrations
Kevin MoranCollege of William & Mary, Michele TufanoCollege of William and Mary, Carlos Bernal-Cárdenas, Mario Linares-VásquezSystems and Computing Engineering Department , Universidad de los Andes , Bogotá, Colombia , Gabriele BavotaUniversità della Svizzera italiana (USI), Christopher Vendome, Massimiliano Di PentaUniversity of Sannio, Denys PoshyvanykWilliam and Mary
Pre-print Media Attached