|
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 |
Archive
