* 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

icse-2018-Demonstrations
14:00 - 15:30: DEMO - Demonstrations - Mutation testing at E1/A room
Chair(s): Lutz PrecheltFreie Universität Berlin
icse-2018-Demonstrations152768160000014:00 - 14:30
Demonstration
Kaiyuan Wang, Allison Sullivan, Sarfraz KhurshidUniversity of Texas at Austin
Link to publication File Attached
icse-2018-Demonstrations152768340000014:30 - 15:00
Talk
Alex GroceNorthern Arizona University, Josie HolmesPennsylvania State University, USA, Darko Marinov, August ShiUniversity of Illinois at Urbana-Champaign, Lingming Zhang
Pre-print Media Attached
icse-2018-Demonstrations152768520000015:00 - 15:30
Talk
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