* ICSE 2018 *
Sun 27 May - Sun 3 June 2018 Gothenburg, Sweden
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

Conference Day
Wed 30 May

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

11:00 - 12:30
Test automation and failure diagnosisDEMO - Demonstrations at E1/B room
Chair(s): Ralf ReussnerKarlsruhe Institute of Technology (KIT) and FZI - Research Center for Information Technology (FZI)
11:00
30m
Talk
Aletheia: A Failure Diagnosis Toolchain
DEMO - Demonstrations
11:30
30m
Demonstration
When the testing gets tough, the tough get ElasTest
DEMO - Demonstrations
Antonia BertolinoCNR-ISTI, Antonello CalabròCNR-ISTI, Guglielmo De AngelisCNR-IASI, CNR-ISTI, Micael Gallego, Boni García, Francisco GortázarUniversidad Rey Juan Carlos
DOI Pre-print Media Attached
12:00
30m
Talk
SUSHI: A Test Generator for Programs with Complex Structured Inputs
DEMO - Demonstrations
Pietro BraioneUniversity of Milano-Bicocca, Giovanni DenaroUniversity of Milano-Bicocca, Italy, Andrea MattavelliImperial College London, Mauro PezzeUniversità della Svizzera italiana (USI) and Università degli Studi di Milano Bicocca
Pre-print
14:00 - 15:30
Performance and NFRDEMO - Demonstrations at E1/B room
Chair(s): Matthias GalsterUniversity of Canterbury
14:00
30m
Talk
The Palladio-Bench for Modeling and Simulating Software Architectures
DEMO - Demonstrations
Robert Heinrich, Dominik Werle, Heiko Klare, Ralf ReussnerKarlsruhe Institute of Technology (KIT) and FZI - Research Center for Information Technology (FZI), Max Kramer, Steffen BeckerUniversity 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
DEMO - Demonstrations
Jürgen CitoMIT, Philipp LeitnerChalmers University of Technology & University of Gothenburg, Christian Bosshard, Markus Knecht, Genc Mazlami, Harald GallUniversity of Zurich
15:00
30m
Talk
PROMOpedia — A web-content management-based encyclopedia of software property models
DEMO - Demonstrations
Séverine SentillesMälardalen University, Federico CiccozziMalardalen University, Efi PapatheocharousRISE ICT/SICS
Pre-print Media Attached
16:00 - 17:30
EvolutionDEMO - Demonstrations at E1/B room
Chair(s): Romina SpalazzeseMalmö University
16:00
30m
Demonstration
GuideGen - A Tool for Keeping Requirements and Acceptance Tests Aligned
DEMO - Demonstrations
Sofija HotomskiIFI, University of Zurich, Martin Glinz
Link to publication
16:30
30m
Talk
EVA: A Tool for Visualizing Software Architectural Evolution
DEMO - Demonstrations
Daye NamUniversity 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
DEMO - Demonstrations
Yi LiUniversity of Toronto, Chenguang ZhuUniversity of Texas, Austin, Julia RubinUniversity of British Columbia, Marsha ChechikUniversity of Toronto
Pre-print Media Attached

Conference Day
Thu 31 May

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

11:00 - 12:30
Static analysisDEMO - Demonstrations at E1/B room
Chair(s): Anne KoziolekKarlsruhe Institute of Technology
11:00
30m
Demonstration
AnATLyzer: An Advanced IDE for ATL Model Transformations
DEMO - Demonstrations
Pre-print Media Attached
11:30
30m
Talk
VisuFlow: a Debugging Environment for Static Analyses
DEMO - Demonstrations
Lisa Nguyen Quang DoPaderborn University, Stefan Krüger, Patrick Hill, Karim AliUniversity of Alberta, Eric BoddenHeinz 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
DEMO - Demonstrations
Csaba Nagy, Anthony CleveUniversity of Namur
14:00 - 15:30
VerificationDEMO - Demonstrations at E1/B room
Chair(s): Marie-Christine JakobsLMU, Munich, Germany
14:00
30m
Talk
COMB: Computing Relevant Program Behaviors
DEMO - Demonstrations
Link to publication
14:30
30m
Demonstration
The Gamma Statechart Composition Framework: Design, Verification and Code Generation for Component-Based Reactive Systems
DEMO - Demonstrations
Vince MolnárBudapest University of Technology and Economics, Bence GraicsBudapest University of Technology and Economics, András VörösBudapest University of Technology and Economics, Istvan MajzikBudapest University of Technology and Economics, Daniel VarroMcGill University / Budapest University of Technology and Economics
DOI Pre-print Media Attached
15:00
30m
Talk
A Regression Proof Selection Tool For Coq
DEMO - Demonstrations
Ahmet CelikUniversity of Texas at Austin, USA, Karl PalmskogThe University of Texas at Austin, Milos GligoricUniversity of Texas at Austin
Pre-print Media Attached File Attached

Conference Day
Wed 30 May

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

Conference Day
Thu 31 May

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