Technical Program

Monday, August 26
8:30 - 9:00	Registration
9:00 - 9:15	Welcome
9:15 - 10:45	Session 1 - Software Evolution Chair: Jaan Penjam Vard Antinyan and Miroslaw Staron: Monitoring Evolution of Code Complexity in Agile/Lean Software Development Dan Daniel, Stan Jarzabek, and Rudolf Ferenc: Configuring Software for Reuse with VCL Viktória Fördő‘s and Melinda Tóth: Identifying Code Clones with RefactorErl
10:45 - 11:00	Coffee break
11:00 - 12:30	Session 2 - Software Maintenance Chair: Tibor Gyimóthy Szabolcs Bognár, Tamás Gergely, Róbert Rácz, Árpád Beszédes, and Vladimir Marinkovic: Code Coverage Measurement Framework for Android Devices Johannes Holvitie, Mikko-Jussi Laakso, Teemu Rajala, Erkki Kaila, and Ville Leppänen: The Role of Dependency Propagation in the Accumulation of Technical Debt for Software Implementations Gábor Novák, Csaba Nagy, and Rudolf Ferenc: A Regression Test Selection Technique for Magic Systems
12:30 - 14:00	Lunch
14:00 - 15:30	Session 3 - Web: Applications, Services, Databases 1 Chair: Tamás Gergely Gergő‘ Gombos, Tamás Matuszka, Balázs Pinczel, Gábor Rácz, and Attila Kiss: VOSD: A General-Purpose Virtual Observatory over Semantic Databases Otto Hylli, Samuel Lahtinen, Anna Ruokonen, and Kari Systä: Service Composition for End-Users Heikki Peltola and Arto Salminen: Towards a Reference Architecture for Server-side Mashup Ecosystem
15:30 - 15:45	Coffee break
15:45 - 16:45	Session 4 - Web: Applications, Services, Databases 2 Chair: Ákos Kiss Anna-Liisa Mattila: Code Oriented Approach to 3D Widgets Jari-Pekka Voutilainen and Tommi Mikkonen: The Browser as a Host Environment for Visually Rich Applications
19:00 -	Banquet at the main building of the University of Szeged (Dugonics tér 13).
Tuesday, August 27
9:00 - 10:30	Session 5 - Miscellaneous Chair: Kai Koskimies Zalán Szűgyi, Tamás Cséri, and Zoltán Porkoláb: Random number generator for C++ template metaprograms Antti Valmari: The Asymptotic Behaviour of the Proportion of Hard Instances of the Halting Problem Zsolt Zsigmondi and Attila Kiss: Implementation of Natural Language Semantic Wildcards using Prolog
10:30 - 10:45	Coffee break
10:45 - 12:15	Invited talk / Joint with FutureICT project track Hassan Charaf and László Lengyel: Mobile Platforms and Multi-Mobile Platform Development
12:15 - 14:00	Lunch
14:00 - 15:45	Session 6 - Program Analysis Chair: Árpád Beszédes Richárd Dévai, Judit Jász, Csaba Nagy, and Rudolf Ferenc: Designing and Implementing Control Flow Graph for Magic 4th Generation Language István Kádár, Péter Hegedűs, and Rudolf Ferenc: Runtime Exception Detection in Java Programs Using Symbolic Execution Jari-Matti Mäkelä, Ville Leppänen, and Martti Forsell: Composable hierarchical synchronization support for REPLICA Jyrki Nummenmaa, Maija Marttila-Kontio, and Timo Nummenmaa: Checking visual data flow programs with finite process models
15:45 - 16:00	Coffee break
16:00 - 17:00	Session 7 - Formal Verification Chair: Antti Valmari Dániel Darvas, András Vörös, and Tamás Bartha: Efficient Saturation-based Bounded Model Checking of Asynchronous Systems Ákos Hajdu, András Vörös, Tamás Bartha, and Zoltán Mártonka: Extensions to the CEGAR Approach on Petri Nets
17:00 - 17:15	Closing session

Information for Presenters

Authors have 20 minutes for presenting their paper and 5 minutes for discussion.