ICPC 2018
Sun 27 - Mon 28 May 2018 Gothenburg, Sweden
co-located with * ICSE 2018 *
VenueCongress center Gothia Towers
Room nameE1/B room
Floor0
Capacity50
Room InformationNo extra information available
Program

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
Test automation and failure diagnosis* ICSE * DEMO - Demonstrations at E1/B room
Chair(s): Ralf Reussner Karlsruhe Institute of Technology (KIT) and FZI - Research Center for Information Technology (FZI)
11:00
30m
Talk
Aletheia: A Failure Diagnosis Toolchain
* ICSE * DEMO - Demonstrations
11:30
30m
Demonstration
When the testing gets tough, the tough get ElasTest
* ICSE * DEMO - Demonstrations
Antonia Bertolino CNR-ISTI, Antonello Calabrò CNR-ISTI, Guglielmo De Angelis CNR-IASI, CNR-ISTI, Micael Gallego , Boni García , Francisco Gortázar Universidad Rey Juan Carlos
DOI Pre-print Media Attached
12:00
30m
Talk
SUSHI: A Test Generator for Programs with Complex Structured Inputs
* ICSE * DEMO - Demonstrations
Pietro Braione University of Milano-Bicocca, Giovanni Denaro University of Milano-Bicocca, Italy, Andrea Mattavelli Imperial College London, Mauro Pezze Università della Svizzera italiana (USI) and Università degli Studi di Milano Bicocca
Pre-print
14:00 - 15:30
Performance and NFR* ICSE * DEMO - Demonstrations at E1/B room
Chair(s): Matthias Galster University of Canterbury
14:00
30m
Talk
The Palladio-Bench for Modeling and Simulating Software Architectures
* ICSE * DEMO - Demonstrations
Robert Heinrich , Dominik Werle , Heiko Klare , Ralf Reussner Karlsruhe Institute of Technology (KIT) and FZI - Research Center for Information Technology (FZI), Max Kramer , Steffen Becker University of Stuttgart, Jens Happe , Heiko Koziolek , Klaus Krogmann
Link to publication Media Attached
14:30
30m
Talk
PerformanceHat - Augmenting Source Code with Runtime Performance Traces in the IDE
* ICSE * DEMO - Demonstrations
Jürgen Cito MIT, Philipp Leitner Chalmers University of Technology & University of Gothenburg, Christian Bosshard , Markus Knecht , Genc Mazlami , Harald Gall University of Zurich
15:00
30m
Talk
PROMOpedia — A web-content management-based encyclopedia of software property models
* ICSE * DEMO - Demonstrations
Séverine Sentilles Mälardalen University, Federico Ciccozzi Malardalen University, Efi Papatheocharous RISE ICT/SICS
Pre-print Media Attached
16:00 - 17:30
Evolution* ICSE * DEMO - Demonstrations at E1/B room
Chair(s): Romina Spalazzese Malmö University
16:00
30m
Demonstration
GuideGen - A Tool for Keeping Requirements and Acceptance Tests Aligned
* ICSE * DEMO - Demonstrations
Sofija Hotomski IFI, University of Zurich, Martin Glinz
Link to publication
16:30
30m
Talk
EVA: A Tool for Visualizing Software Architectural Evolution
* ICSE * DEMO - Demonstrations
Daye Nam University of Southern California, USA, Youn Kyu Lee , Nenad Medvidović University of Southern California
Pre-print Media Attached
17:00
30m
Talk
CSLICERCLOUD: A Web-Based Semantic History Slicing Framework
* ICSE * DEMO - Demonstrations
Yi Li University of Toronto, Chenguang Zhu University of Texas, Austin, Julia Rubin University of British Columbia, Marsha Chechik University of Toronto
Pre-print Media Attached

Thu 31 May

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

11:00 - 12:30
Static analysis* ICSE * DEMO - Demonstrations at E1/B room
Chair(s): Anne Koziolek Karlsruhe Institute of Technology
11:00
30m
Demonstration
AnATLyzer: An Advanced IDE for ATL Model Transformations
* ICSE * DEMO - Demonstrations
Pre-print Media Attached
11:30
30m
Talk
VisuFlow: a Debugging Environment for Static Analyses
* ICSE * DEMO - Demonstrations
Lisa Nguyen Quang Do Paderborn University, Stefan Krüger , Patrick Hill , Karim Ali University of Alberta, Eric Bodden Heinz Nixdorf Institut, Paderborn University and Fraunhofer IEM
Link to publication Pre-print
12:00
30m
Talk
SQLInspect: A Static Analyzer to Inspect Database Usage in Java Applications
* ICSE * DEMO - Demonstrations
Csaba Nagy , Anthony Cleve University of Namur
14:00 - 15:30
Verification* ICSE * DEMO - Demonstrations at E1/B room
Chair(s): Marie-Christine Jakobs LMU, Munich, Germany
14:00
30m
Talk
COMB: Computing Relevant Program Behaviors
* ICSE * DEMO - Demonstrations
Benjamin Holland , Payas Awadhutkar , Suresh Kothari Iowa State University, USA, Ahmed Tamrawi , Jon Mathews EnSoft Corp.
Link to publication
14:30
30m
Demonstration
The Gamma Statechart Composition Framework: Design, Verification and Code Generation for Component-Based Reactive Systems
* ICSE * DEMO - Demonstrations
Vince Molnár Budapest University of Technology and Economics, Bence Graics Budapest University of Technology and Economics, András Vörös Budapest University of Technology and Economics, Istvan Majzik Budapest University of Technology and Economics, Daniel Varro McGill University / Budapest University of Technology and Economics
DOI Pre-print Media Attached
15:00
30m
Talk
A Regression Proof Selection Tool For Coq
* ICSE * DEMO - Demonstrations
Ahmet Celik University of Texas at Austin, USA, Karl Palmskog The University of Texas at Austin, Milos Gligoric University of Texas at Austin
Pre-print Media Attached File Attached

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