E1/A room - ICPC 2018

VenueCongress center Gothia Towers

Room nameE1/A room

Floor0

Capacity50

Room InformationNo extra information available

Program

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

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

Room information: E1/A room

Wed 30 May
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Thu 31 May
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Wed 30 May
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

* ICSE * DEMO - Demonstrations

* ICSE * DEMO - Demonstrations

* ICSE * DEMO - Demonstrations

Thu 31 May
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

* ICSE * DEMO - Demonstrations

* ICSE * DEMO - Demonstrations

Wed 30 May
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Thu 31 May
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Tracks

Room information: E1/A room

Program Display Configuration

Wed 30 MayDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Thu 31 MayDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Wed 30 MayDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

* ICSE * DEMO - Demonstrations

* ICSE * DEMO - Demonstrations

* ICSE * DEMO - Demonstrations

Thu 31 MayDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

* ICSE * DEMO - Demonstrations

* ICSE * DEMO - Demonstrations

Wed 30 MayDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Thu 31 MayDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Wed 30 May
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Thu 31 May
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Wed 30 May
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Thu 31 May
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Wed 30 May
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Thu 31 May
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change