* ICSE 2018 *
Sun 27 May - Sun 3 June 2018 Gothenburg, Sweden
Thu 31 May 2018 12:00 - 12:30 at E1/B room - Static analysis Chair(s): Anne Koziolek

Thu 31 May
Times are displayed in 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 - 11:30
Demonstration
AnATLyzer: An Advanced IDE for ATL Model Transformations
DEMO - Demonstrations
Pre-print Media Attached
11:30 - 12:00
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 - 12:30
Talk
SQLInspect: A Static Analyzer to Inspect Database Usage in Java Applications
DEMO - Demonstrations
Csaba Nagy, Anthony CleveUniversity of Namur