Write a Blog >>
SEAMS 2018
Mon 28 - Tue 29 May 2018
Gothenburg, Sweden
co-located with
* ICSE 2018 *
Toggle navigation
Attending
Venue: Congress center Gothia Towers
Registration
Program
SEAMS Program
Your Program
Keynote
Mon 28 May
Tue 29 May
Track/Call
Organization
SEAMS 2018 Committees
Track Committees
Organizing Committee
Program Committee
Doctoral Projects Program Committee
Artifact Evaluation Committee
Steering Committee
Contributors
People Index
Search
Series
Series
SEAMS 2025
SEAMS 2024
SEAMS 2023
SEAMS 2022
SEAMS 2021
SEAMS 2020
SEAMS 2019
SEAMS 2018
Sign in
Sign up
* ICSE 2018 *
(
series
) /
SEAMS 2018
(
series
) /
Congress center Gothia Towers
/
Room information: E1/A room
Venue
Congress center Gothia Towers
Room name
E1/A room
Floor
0
Capacity
50
Room Information
No extra information available
Program
Detailed Table
Session Timeline
Detailed Timeline
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
×
You're viewing the program in a time zone which is different from your device's time zone
change time zone
Wed 30 May
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
11:00 - 12:30
Mining repositories
* ICSE * DEMO - Demonstrations
at
E1/A room
Chair(s):
Denys Poshyvanyk
William and Mary
11:00
30m
Talk
Perceval: Software Project Data at Your Will
* ICSE * DEMO - Demonstrations
Santiago Dueñas
,
Valerio Cosentino
Bitergia
,
Gregorio Robles
Universidad Rey Juan Carlos
,
Jesus M. Gonzalez-Barahona
Universidad Rey Juan Carlos
Pre-print
Media Attached
File Attached
11:30
30m
Talk
StackInTheFlow: Behavior-Driven Recommendation System for Stack Overflow Posts
* ICSE * DEMO - Demonstrations
Chase Greco
,
Tyler Haden
,
Kostadin Damevski
12:00
30m
Talk
SATD Detector: A Text-Mining-Based Self-Admitted Technical Debt Detection Tool
* ICSE * DEMO - Demonstrations
Zhongxin Liu
Zhejiang University
,
Qiao Huang
,
Xin Xia
Monash University
,
Emad Shihab
Concordia University
,
David Lo
Singapore Management University
,
Shanping Li
Pre-print
Media Attached
14:00 - 15:30
Mutation testing
* ICSE * 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
* ICSE * 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
* ICSE * 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
* ICSE * 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
16:00 - 17:30
Testing vulnerabilities
* ICSE * DEMO - Demonstrations
at
E1/A room
Chair(s):
Lingxiao Jiang
Singapore Management University
16:00
30m
Talk
SAFL: Increasing and Accelerating Testing Coverage with Symbolic Execution and Guided Fuzzing
* ICSE * DEMO - Demonstrations
Mingzhe Wang
,
Jie Liang
,
Yuanliang Chen
,
Yu Jiang
,
Xun Jiao
,
Han Liu
,
Xibin Zhao
,
Jiaguang Sun
Link to publication
16:30
30m
Talk
ReGuard: Finding Reentrancy Bugs in Smart Contracts
* ICSE * DEMO - Demonstrations
Chao Liu
,
Han Liu
,
Zhao Cao
,
Zhong Chen
,
Bangdao Chen
,
Roscoe Bill
17:00
30m
Talk
Weak-Assert: A Weakness-Oriented Assertion Recommendation Toolkit for Program Analysis
* ICSE * DEMO - Demonstrations
Cong Wang
,
Yu Jiang
,
Xibin Zhao
,
Xiaoyu Song
,
Ming Gu
,
Jia-Guang Sun
Thu 31 May
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
11:00 - 12:30
SPLs and OO repair
* ICSE * DEMO - Demonstrations
at
E1/A room
Chair(s):
Rachel Tzoref-Brill
IBM Research
11:00
30m
Demonstration
KernelHaven – An Experimentation Workbench for Analyzing Software Product Lines
* ICSE * DEMO - Demonstrations
Christian Kröher
University of Hildesheim
,
Sascha El-Sharkawy
University of Hildesheim
,
Klaus Schmid
Stiftung University Hildesheim
Link to publication
DOI
Pre-print
11:30
30m
Talk
Elixir: An Automated Repair Tool for Java Programs
* ICSE * DEMO - Demonstrations
Ripon Saha
,
Hiroaki Yoshida
Fujitsu Laboratories of America, Inc.
,
Mukul Prasad
Fujitsu Laboratories of America
,
Susumu Tokumoto
Fujitsu Laboratories Ltd.
,
Kuniharu Takayama
,
Isao Nanba
12:00
30m
Talk
Multi-View Editing of Software Product Lines with PEoPL
* ICSE * DEMO - Demonstrations
Mukelabai Mukelabai
,
Benjamin Behringer
htw saar, Germany
,
Moritz Fey
,
Jochen Palz
,
Jacob Krüger
Harz University of Applied Sciences, Germany
,
Thorsten Berger
Link to publication
Pre-print
14:00 - 15:30
Model-driven development
* ICSE * DEMO - Demonstrations
at
E1/A room
Chair(s):
Jan Oliver Ringert
Tel Aviv University
14:00
30m
Talk
MDebugger: A Model-level Debugger for UML-RT
* ICSE * DEMO - Demonstrations
Mojtaba Bagherzadeh
Queen's University
,
Nicolas Hili
IRT Saint-Exupéry
,
David Seekatz
,
Juergen Dingel
Queen's University, Kingston, Ontario
Pre-print
14:30
30m
Demonstration
CyPhEF: A Model-Driven Engineering Framework for Self-Adaptive Cyber-Physical Systems
* ICSE * DEMO - Demonstrations
Mirko D'Angelo
,
Annalisa Napolitano
,
Mauro Caporuscio
Linnaeus University
Link to publication
15:00
30m
Talk
ReVision: A Tool for History-based Model Repair Recommendations
* ICSE * DEMO - Demonstrations
Manuel Ohrndorf
,
Christopher Pietsch
,
Udo Kelter
,
Timo Kehrer
Link to publication
Wed 30 May
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
E1/A room
* ICSE * DEMO - Demonstrations
Mining repositories
* ICSE * DEMO - Demonstrations
Mutation testing
* ICSE * DEMO - Demonstrations
Testing vulnerabilities
Thu 31 May
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
E1/A room
* ICSE * DEMO - Demonstrations
SPLs and OO repair
* ICSE * DEMO - Demonstrations
Model-driven development
Wed 30 May
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
16:00
15
30
45
17:00
15
30
45
E1/A room
* ICSE * DEMO - Demonstrations
Perceval: Software Project Data at Your Will
11:00 - 11:30
* ICSE * DEMO - Demonstrations
StackInTheFlow: Behavior-Driven Recommendation System for Stack Overflo ...
11:30 - 12:00
* ICSE * DEMO - Demonstrations
SATD Detector: A Text-Mining-Based Self-Admitted Technical Debt Detecti ...
12:00 - 12:30
* ICSE * DEMO - Demonstrations
MuAlloy: A Mutation Testing Framework for Alloy
14:00 - 14:30
* ICSE * DEMO - Demonstrations
An Extensible, Regular-Expression-Based Tool for Multi-Language Mutant ...
14:30 - 15:00
* ICSE * DEMO - Demonstrations
MDroid+: A Mutation Testing Framework for Android
15:00 - 15:30
* ICSE * DEMO - Demonstrations
SAFL: Increasing and Accelerating Testing Coverage with Symbolic Execut ...
16:00 - 16:30
* ICSE * DEMO - Demonstrations
ReGuard: Finding Reentrancy Bugs in Smart Contracts
16:30 - 17:00
* ICSE * DEMO - Demonstrations
Weak-Assert: A Weakness-Oriented Assertion Recommendation Toolkit for P ...
17:00 - 17:30
Thu 31 May
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
E1/A room
* ICSE * DEMO - Demonstrations
KernelHaven – An Experimentation Workbench for Analyzing Software Produ ...
11:00 - 11:30
* ICSE * DEMO - Demonstrations
Elixir: An Automated Repair Tool for Java Programs
11:30 - 12:00
* ICSE * DEMO - Demonstrations
Multi-View Editing of Software Product Lines with PEoPL
12:00 - 12:30
* ICSE * DEMO - Demonstrations
MDebugger: A Model-level Debugger for UML-RT
14:00 - 14:30
* ICSE * DEMO - Demonstrations
CyPhEF: A Model-Driven Engineering Framework for Self-Adaptive Cyber-Ph ...
14:30 - 15:00
* ICSE * DEMO - Demonstrations
ReVision: A Tool for History-based Model Repair Recommendations
15:00 - 15:30
x
Sat 23 Nov 09:12