SEW-36 Program
09:00-10:25 | Sunday 11.09.2016. Chair: Stan Jarzabek |
09:00-09:15 | From UML State Machine to code and back again! - Van Cam PHAM, Ansgar Radermacher, Sébastien Gérard |
09:15-09:30 | Using LINQ as a universal tool for defining architectural assertions - Bartosz Frąckowiak, Robert Dabrowski |
09:30-09:45 | Competencies outside Agile Teams’ Borders: The Extended Scrum Team - Gerard Wagenaar, Sietse Overbeek, Remko Helms |
09:45-10:05 | A Development Process Based on Variability Modeling for Building Adaptive Software Architectures - Ngoc-Tho Huynh, Maria-Teresa Segarra, Antoine Beugnard |
10:05-10:25 | Java-HCT: An approach to increase MC/DC using Hybrid Concolic Testing for Java programs - SANGHARATNA GODBOLEY, ARPITA DUTTA, DURGA PRASAD MOHAPATRA |
11:00-13:00 | Sunday 11.09.2016. Chair: Janusz Zalewski |
11:00-11:30 | Managing Big Clones to Ease Evolution: Linux Kernel Example - Kuldeep Kumar, Stanislaw Jarzabek, Daniel Dan |
11:30-12:00 | ReSA Tool: Structured Requirements Specification and SAT-based Consistency-checking - Nesredin Mahmud, Cristina Seceleanu, Oscar Ljungkrantz |
12:00-12:30 | Alvis models of safety critical systems state-base verification with nuXmv - Jerzy Biernacki |
12:30-13:00 | Efficient Data-Race Detection with Dynamic Symbolic Execution - Andreas Ibing |