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

 

Important dates

  • Call for event proposals: October 30, 2015
  • Call for dissemination event proposals: December 15, 2015
  • Paper submission (strict deadline): May 09 2016 23:59:59 pm HST
  • Position paper submission: May 30, 2016
  • Acceptance decision: June 13, 2016
  • Final version of paper submission: July 04, 2016
  • Final deadline for discounted fee: July 31, 2016
  • Conference dates: September 11-14, 2016

FedCSIS is organized by

 

Under auspices of

Minister of Science and Higher Education
Jarosław Gowin

Minister of Digital Affairs
Anna Streżyńska

Prezydent Miasta Gdyni
Wojciech Szczurek
Prezydent Miasta Gdańsk
Paweł Adamowicz

Rector of Gdansk University of Technology
prof. dr hab. inż. Henryk Krawczyk