* ICSE 2018 *
Sun 27 May - Sun 3 June 2018
Gothenburg, Sweden
Toggle navigation
Attending
Venue: Congress center Gothia Towers
Registration
Accommodation, Hotels, Sharing rooms
Gothenburg
Travel
Travel and participation support
Social Events
Excursions and Side Program
Support Opportunities and Exibitions
Resources
ICSE Morning Run
Football
Sponsors and Supporters
Lunch and Coffee Break menus
Photos
Program
Complete Program
Your Program
Week Overview
Main Conference
Progam in PDF and Proceedings
Keynotes
Industry Forum
Industry Program
50 years of SE
Posters
Technical briefings
New Faculty Symposium
2001: A Space Odyssey Symposium - 50 years celebration
Lindholmen Software Development Day
Community meetings
Social Events
Awards
Livestream
Filter by Day
Sat 26 May
Sun 27 May
Mon 28 May
Tue 29 May
Wed 30 May
Thu 31 May
Fri 1 Jun
Sat 2 Jun
Sun 3 Jun
Tracks
* ICSE 2018 *
Plenary Sessions
Technical Papers
Journal first papers
Workshops
SEIP - Software Engineering in Practice
SEET - Software Engineering Education and Training
SEIS - Software Engineering in Society
NIER - New Ideas and Emerging Results
IF - Industry Forum
DEMO - Demonstrations
Posters
DS - Doctoral Symposium
TB - Technical Briefings
SRC - ACM Student Research Competition
SCORE
Student Volunteers
Co-located events
Submitting to ICSE2018: Q&A
2001: A Space Odyssey Symposium - 50 years celebration
Co-hosted Conferences
FormaliSE
ICGSE
ICGSE
ICGSE
ICGSE
Research papers
ICGSE
Experience reports
ICGSE
Industry talks
ICGSE
Doctoral Symposium
ICPC
ICPC
ICPC
Technical Research
ICPC
Early Research Achievement
ICPC
Tool Demonstration
ICPC
Industry
ICSSP
MSR
MSR
MSR
Technical Papers
MSR
Mining Challenge
MSR
Data Showcase
MSR
FOSS Award
MobileSoft
TechDebt
Co-hosted Symposia
SEAMS
SEAMS
SEAMS
SEiA
Organization
* ICSE 2018 * Committees
Organizing committee
Track Committees
Technical Papers
Program board
Program committee
Journal first papers
Workshops
SEIP - Software Engineering in Practice
SEET - Software Engineering Education and Training
SEIS - Software Engineering in Society
NIER - New Ideas and Emerging Results
IF - Industry Forum
DEMO - Demonstrations
Posters
DS - Doctoral Symposium
TB - Technical Briefings
SRC - ACM Student Research Competition
SCORE
Contributors
People Index
Co-hosted Conferences
FormaliSE
General Chairs
Program Committee
ICGSE
Organizing Committee
ICPC
ICPC 2018 Organization Committee
ICPC 2018 Steering Committee
Technical Research
Early Research Achievement
Tool Demonstration
Industry
ICSSP
Organizing Committee
Program Committee
MSR
Organizing committee
Technical Papers
FOSS Award Committee
Technical Papers
Program Committee
Mining Challenge
Data Showcase
FOSS Award
MobileSoft
N/A - check homepage
TechDebt
Organizing Committee
Co-hosted Symposia
SEAMS
Organizing Committee
Program Committee
Doctoral Projects Program Committee
Artifact Evaluation Committee
Steering Committee
SEiA
Organizing Committee
Program Committee
Search
Series
Series
ICSE 2025
ICSE 2024
ICSE 2023
ICSE 2022
ICSE 2021
ICSE 2020
ICSE 2019
* ICSE 2018 *
Sign in
Sign up
* ICSE 2018 *
(
series
) /
DEMO - Demonstrations
/
MDroid+: A Mutation Testing Framework for Android
Who
Kevin Moran
,
Michele Tufano
,
Carlos Bernal-Cárdenas
,
Mario Linares-Vásquez
,
Gabriele Bavota
,
Christopher Vendome
,
Massimiliano Di Penta
,
Denys Poshyvanyk
Track
* ICSE 2018 * DEMO - Demonstrations
Program Display Configuration
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, Vienna
Select other time zone
(GMT-12:00) AoE (Anywhere On Earth)
(GMT-11:00) Midway Island, Samoa
(GMT-09:00) Hawaii-Aleutian
(GMT-10:00) Hawaii
(GMT-09:30) Marquesas Islands
(GMT-09:00) Gambier Islands
(GMT-08:00) Alaska
(GMT-07:00) Tijuana, Baja California
(GMT-08:00) Pitcairn Islands
(GMT-07:00) Pacific Time (US & Canada)
(GMT-06:00) Mountain Time (US & Canada)
(GMT-06:00) Chihuahua, La Paz, Mazatlan
(GMT-07:00) Arizona
(GMT-06:00) Saskatchewan, Central America
(GMT-05:00) Guadalajara, Mexico City, Monterrey
(GMT-06:00) Easter Island
(GMT-05:00) Central Time (US & Canada)
(GMT-04:00) Eastern Time (US & Canada)
(GMT-04:00) Cuba
(GMT-05:00) Bogota, Lima, Quito, Rio Branco
(GMT-04:00) Caracas
(GMT-04:00) Santiago
(GMT-04:00) La Paz
(GMT-03:00) Faukland Islands
(GMT-04:00) Manaus, Amazonas, Brazil
(GMT-03:00) Atlantic Time (Goose Bay)
(GMT-03:00) Atlantic Time (Canada)
(GMT-02:30) Newfoundland
(GMT-03:00) UTC-3
(GMT-03:00) Montevideo
(GMT-02:00) Miquelon, St. Pierre
(GMT-02:00) Greenland
(GMT-03:00) Buenos Aires
(GMT-03:00) Brasilia, Distrito Federal, Brazil
(GMT-02:00) Mid-Atlantic
(GMT-01:00) Cape Verde Is.
(GMT) Azores
(UTC) Coordinated Universal Time
(GMT+01:00) Belfast
(GMT+01:00) Dublin
(GMT+01:00) Lisbon
(GMT+01:00) London
(GMT) Monrovia, Reykjavik
(GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
(GMT+02:00) Belgrade, Bratislava, Budapest, Ljubljana, Prague
(GMT+02:00) Brussels, Copenhagen, Madrid, Paris
(GMT+01:00) West Central Africa
(GMT+02:00) Windhoek
(GMT+03:00) Athens
(GMT+03:00) Beirut
(GMT+02:00) Cairo
(GMT+03:00) Gaza
(GMT+02:00) Harare, Pretoria
(GMT+03:00) Jerusalem
(GMT+03:00) Minsk
(GMT+03:00) Syria
(GMT+03:00) Moscow, St. Petersburg, Volgograd
(GMT+03:00) Nairobi
(GMT+04:30) Tehran
(GMT+04:00) Abu Dhabi, Muscat
(GMT+04:00) Yerevan
(GMT+04:30) Kabul
(GMT+05:00) Ekaterinburg
(GMT+05:00) Tashkent
(GMT+05:30) Chennai, Kolkata, Mumbai, New Delhi
(GMT+05:45) Kathmandu
(GMT+06:00) Astana, Dhaka
(GMT+07:00) Novosibirsk
(GMT+06:30) Yangon (Rangoon)
(GMT+07:00) Bangkok, Hanoi, Jakarta
(GMT+07:00) Krasnoyarsk
(GMT+08:00) Beijing, Chongqing, Hong Kong, Urumqi
(GMT+08:00) Irkutsk, Ulaan Bataar
(GMT+08:00) Perth
(GMT+08:45) Eucla
(GMT+09:00) Osaka, Sapporo, Tokyo
(GMT+09:00) Seoul
(GMT+09:00) Yakutsk
(GMT+09:30) Adelaide
(GMT+09:30) Darwin
(GMT+10:00) Brisbane
(GMT+10:00) Hobart
(GMT+10:00) Vladivostok
(GMT+10:30) Lord Howe Island
(GMT+11:00) Solomon Is., New Caledonia
(GMT+11:00) Magadan
(GMT+11:00) Norfolk Island
(GMT+12:00) Anadyr, Kamchatka
(GMT+12:00) Auckland, Wellington
(GMT+12:00) Fiji, Kamchatka, Marshall Is.
(GMT+12:45) Chatham Islands
(GMT+13:00) Nuku'alofa
(GMT+14:00) Kiritimati
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 program
Specify a time band
-
Save
When
Wed 30 May 2018 15:00 - 15:30 at
E1/A room
-
Mutation testing
Chair(s):
Lutz Prechelt
Link to Preprint
https://arxiv.org/pdf/1802.04749.pdf
Kevin Moran
College of William & Mary
United States
Michele Tufano
College of William and Mary
United States
Carlos Bernal-Cárdenas
Mario Linares-Vásquez
Systems and Computing Engineering Department , Universidad de los Andes , Bogotá, Colombia
Colombia
Gabriele Bavota
Università della Svizzera italiana (USI)
Switzerland
Christopher Vendome
Massimiliano Di Penta
University of Sannio
Italy
Denys Poshyvanyk
William and Mary
United States
MDroid+ Video Demonstration
Program Display Configuration
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, Vienna
Select other time zone
(GMT-12:00) AoE (Anywhere On Earth)
(GMT-11:00) Midway Island, Samoa
(GMT-09:00) Hawaii-Aleutian
(GMT-10:00) Hawaii
(GMT-09:30) Marquesas Islands
(GMT-09:00) Gambier Islands
(GMT-08:00) Alaska
(GMT-07:00) Tijuana, Baja California
(GMT-08:00) Pitcairn Islands
(GMT-07:00) Pacific Time (US & Canada)
(GMT-06:00) Mountain Time (US & Canada)
(GMT-06:00) Chihuahua, La Paz, Mazatlan
(GMT-07:00) Arizona
(GMT-06:00) Saskatchewan, Central America
(GMT-05:00) Guadalajara, Mexico City, Monterrey
(GMT-06:00) Easter Island
(GMT-05:00) Central Time (US & Canada)
(GMT-04:00) Eastern Time (US & Canada)
(GMT-04:00) Cuba
(GMT-05:00) Bogota, Lima, Quito, Rio Branco
(GMT-04:00) Caracas
(GMT-04:00) Santiago
(GMT-04:00) La Paz
(GMT-03:00) Faukland Islands
(GMT-04:00) Manaus, Amazonas, Brazil
(GMT-03:00) Atlantic Time (Goose Bay)
(GMT-03:00) Atlantic Time (Canada)
(GMT-02:30) Newfoundland
(GMT-03:00) UTC-3
(GMT-03:00) Montevideo
(GMT-02:00) Miquelon, St. Pierre
(GMT-02:00) Greenland
(GMT-03:00) Buenos Aires
(GMT-03:00) Brasilia, Distrito Federal, Brazil
(GMT-02:00) Mid-Atlantic
(GMT-01:00) Cape Verde Is.
(GMT) Azores
(UTC) Coordinated Universal Time
(GMT+01:00) Belfast
(GMT+01:00) Dublin
(GMT+01:00) Lisbon
(GMT+01:00) London
(GMT) Monrovia, Reykjavik
(GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
(GMT+02:00) Belgrade, Bratislava, Budapest, Ljubljana, Prague
(GMT+02:00) Brussels, Copenhagen, Madrid, Paris
(GMT+01:00) West Central Africa
(GMT+02:00) Windhoek
(GMT+03:00) Athens
(GMT+03:00) Beirut
(GMT+02:00) Cairo
(GMT+03:00) Gaza
(GMT+02:00) Harare, Pretoria
(GMT+03:00) Jerusalem
(GMT+03:00) Minsk
(GMT+03:00) Syria
(GMT+03:00) Moscow, St. Petersburg, Volgograd
(GMT+03:00) Nairobi
(GMT+04:30) Tehran
(GMT+04:00) Abu Dhabi, Muscat
(GMT+04:00) Yerevan
(GMT+04:30) Kabul
(GMT+05:00) Ekaterinburg
(GMT+05:00) Tashkent
(GMT+05:30) Chennai, Kolkata, Mumbai, New Delhi
(GMT+05:45) Kathmandu
(GMT+06:00) Astana, Dhaka
(GMT+07:00) Novosibirsk
(GMT+06:30) Yangon (Rangoon)
(GMT+07:00) Bangkok, Hanoi, Jakarta
(GMT+07:00) Krasnoyarsk
(GMT+08:00) Beijing, Chongqing, Hong Kong, Urumqi
(GMT+08:00) Irkutsk, Ulaan Bataar
(GMT+08:00) Perth
(GMT+08:45) Eucla
(GMT+09:00) Osaka, Sapporo, Tokyo
(GMT+09:00) Seoul
(GMT+09:00) Yakutsk
(GMT+09:30) Adelaide
(GMT+09:30) Darwin
(GMT+10:00) Brisbane
(GMT+10:00) Hobart
(GMT+10:00) Vladivostok
(GMT+10:30) Lord Howe Island
(GMT+11:00) Solomon Is., New Caledonia
(GMT+11:00) Magadan
(GMT+11:00) Norfolk Island
(GMT+12:00) Anadyr, Kamchatka
(GMT+12:00) Auckland, Wellington
(GMT+12:00) Fiji, Kamchatka, Marshall Is.
(GMT+12:45) Chatham Islands
(GMT+13:00) Nuku'alofa
(GMT+14:00) Kiritimati
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 program
Specify a time band
-
Save
Session Program
Wed 30 May
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
14:00 - 15:30
Mutation testing
DEMO - Demonstrations
at
E1/A room
Chair(s):
Lutz Prechelt
Freie Universität Berlin
14:00
30m
Demonstration
MuAlloy: A Mutation Testing Framework for Alloy
DEMO - Demonstrations
Kaiyuan Wang
,
Allison Sullivan
,
Sarfraz Khurshid
University of Texas at Austin
Link to publication
File Attached
14:30
30m
Talk
An Extensible, Regular-Expression-Based Tool for Multi-Language Mutant Generation
DEMO - Demonstrations
Alex Groce
Northern Arizona University
,
Josie Holmes
Pennsylvania State University, USA
,
Darko Marinov
University of Illinois at Urbana-Champaign
,
August Shi
University of Illinois at Urbana-Champaign
,
Lingming Zhang
Pre-print
Media Attached
15:00
30m
Talk
MDroid+: A Mutation Testing Framework for Android
DEMO - Demonstrations
Kevin Moran
College of William & Mary
,
Michele Tufano
College of William and Mary
,
Carlos Bernal-Cárdenas
,
Mario Linares-Vásquez
Systems and Computing Engineering Department , Universidad de los Andes , Bogotá, Colombia
,
Gabriele Bavota
Università della Svizzera italiana (USI)
,
Christopher Vendome
,
Massimiliano Di Penta
University of Sannio
,
Denys Poshyvanyk
William and Mary
Pre-print
Media Attached
x
Wed 30 Oct 04:26