Write a Blog >>
SEAMS 2018
Mon 28 - Tue 29 May 2018
Gothenburg, Sweden
co-located with
* ICSE 2018 *
Toggle navigation
Attending
Venue: Congress center Gothia Towers
Registration
Program
SEAMS Program
Your Program
Keynote
Mon 28 May
Tue 29 May
Track/Call
Organization
SEAMS 2018 Committees
Track Committees
Organizing Committee
Program Committee
Doctoral Projects Program Committee
Artifact Evaluation Committee
Steering Committee
Contributors
People Index
Search
Series
Series
SEAMS 2025
SEAMS 2024
SEAMS 2023
SEAMS 2022
SEAMS 2021
SEAMS 2020
SEAMS 2019
SEAMS 2018
Sign in
Sign up
* ICSE 2018 *
(
series
) /
SEAMS 2018
(
series
) /
Congress center Gothia Towers
/
Room information: G1 room
Venue
Congress center Gothia Towers
Room name
G1 room
Floor
2
Capacity
220
Room Information
No extra information available
Program
Detailed Table
Session Timeline
Detailed Timeline
Program Display Configuration
Time Zone
The program is currently displayed in
(GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
.
Use conference time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
Select other time zone
(GMT-12:00) AoE (Anywhere On Earth)
(GMT-11:00) Midway Island, Samoa
(GMT-09:00) Hawaii-Aleutian
(GMT-10:00) Hawaii
(GMT-09:30) Marquesas Islands
(GMT-09:00) Gambier Islands
(GMT-08:00) Alaska
(GMT-07:00) Tijuana, Baja California
(GMT-08:00) Pitcairn Islands
(GMT-07:00) Pacific Time (US & Canada)
(GMT-06:00) Mountain Time (US & Canada)
(GMT-06:00) Chihuahua, La Paz, Mazatlan
(GMT-07:00) Arizona
(GMT-06:00) Saskatchewan, Central America
(GMT-05:00) Guadalajara, Mexico City, Monterrey
(GMT-06:00) Easter Island
(GMT-05:00) Central Time (US & Canada)
(GMT-04:00) Eastern Time (US & Canada)
(GMT-04:00) Cuba
(GMT-05:00) Bogota, Lima, Quito, Rio Branco
(GMT-04:00) Caracas
(GMT-04:00) Santiago
(GMT-04:00) La Paz
(GMT-03:00) Faukland Islands
(GMT-04:00) Manaus, Amazonas, Brazil
(GMT-03:00) Atlantic Time (Goose Bay)
(GMT-03:00) Atlantic Time (Canada)
(GMT-02:30) Newfoundland
(GMT-03:00) UTC-3
(GMT-03:00) Montevideo
(GMT-02:00) Miquelon, St. Pierre
(GMT-02:00) Greenland
(GMT-03:00) Buenos Aires
(GMT-03:00) Brasilia, Distrito Federal, Brazil
(GMT-02:00) Mid-Atlantic
(GMT-01:00) Cape Verde Is.
(GMT) Azores
(UTC) Coordinated Universal Time
(GMT+01:00) Belfast
(GMT+01:00) Dublin
(GMT+01:00) Lisbon
(GMT+01:00) London
(GMT) Monrovia, Reykjavik
(GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
(GMT+02:00) Belgrade, Bratislava, Budapest, Ljubljana, Prague
(GMT+02:00) Brussels, Copenhagen, Madrid, Paris
(GMT+01:00) West Central Africa
(GMT+02:00) Windhoek
(GMT+03:00) Athens
(GMT+03:00) Beirut
(GMT+02:00) Cairo
(GMT+03:00) Gaza
(GMT+02:00) Harare, Pretoria
(GMT+03:00) Jerusalem
(GMT+03:00) Minsk
(GMT+03:00) Syria
(GMT+03:00) Moscow, St. Petersburg, Volgograd
(GMT+03:00) Nairobi
(GMT+04:30) Tehran
(GMT+04:00) Abu Dhabi, Muscat
(GMT+04:00) Yerevan
(GMT+04:30) Kabul
(GMT+05:00) Ekaterinburg
(GMT+05:00) Tashkent
(GMT+05:30) Chennai, Kolkata, Mumbai, New Delhi
(GMT+05:45) Kathmandu
(GMT+06:00) Astana, Dhaka
(GMT+07:00) Novosibirsk
(GMT+06:30) Yangon (Rangoon)
(GMT+07:00) Bangkok, Hanoi, Jakarta
(GMT+07:00) Krasnoyarsk
(GMT+08:00) Beijing, Chongqing, Hong Kong, Urumqi
(GMT+08:00) Irkutsk, Ulaan Bataar
(GMT+08:00) Perth
(GMT+08:45) Eucla
(GMT+09:00) Osaka, Sapporo, Tokyo
(GMT+09:00) Seoul
(GMT+09:00) Yakutsk
(GMT+09:30) Adelaide
(GMT+09:30) Darwin
(GMT+10:00) Brisbane
(GMT+10:00) Hobart
(GMT+10:00) Vladivostok
(GMT+10:30) Lord Howe Island
(GMT+11:00) Solomon Is., New Caledonia
(GMT+11:00) Magadan
(GMT+11:00) Norfolk Island
(GMT+12:00) Anadyr, Kamchatka
(GMT+12:00) Auckland, Wellington
(GMT+12:00) Fiji, Kamchatka, Marshall Is.
(GMT+12:45) Chatham Islands
(GMT+13:00) Nuku'alofa
(GMT+14:00) Kiritimati
The GMT offsets shown reflect the offsets
at the moment of the conference
.
Time Band
By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.
Display full program
Specify a time band
-
Save
×
You're viewing the program in a time zone which is different from your device's time zone
change time zone
Wed 30 May
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
11:00 - 12:30
Software Evolution and Maintenance I
* ICSE * Technical Papers
/
* ICSE * Journal first papers
at
G1 room
Chair(s):
Chanchal K. Roy
University of Saskatchewan
11:00
20m
Talk
Neuro-Symbolic Program Repair for Correcting Introductory Programming Assignments
* ICSE * Technical Papers
Sahil Bhatia
,
Pushmeet Kohli
Microsoft Research
,
Rishabh Singh
Google Brain
11:20
20m
Talk
Automated Localization for Unreproducible Builds
* ICSE * Technical Papers
Zhilei Ren
,
He Jiang
,
Jifeng Xuan
,
Zijiang Yang
Western Michigan University
11:40
20m
Talk
Enlightened Debugging
* ICSE * Technical Papers
Xiangyu Li
Georgia Institute of Technology
,
Shaowei Zhu
Georgia Institute of Technology
,
Marcelo d'Amorim
Federal University of Pernambuco
,
Alessandro Orso
Georgia Tech
Pre-print
File Attached
12:00
20m
Research paper
Experiences and Challenges in Building a Data Intensive System for Data Migration
* ICSE * Journal first papers
Marco Scavuzzo
Politecnico di Milano
,
Elisabetta Di Nitto
Politecnico di Milano
,
Danilo Ardagna
Link to publication
DOI
12:20
10m
Talk
Q&A in groups
* ICSE * Technical Papers
14:00 - 15:30
Regression Testing
* ICSE * Technical Papers
at
G1 room
Chair(s):
Dan Hao
Peking University
14:00
20m
Talk
Hybrid Regression Test Selection
* ICSE * Technical Papers
Lingming Zhang
University of Texas at Dallas
14:20
20m
Talk
Fine-Grained Test Minimization
* ICSE * Technical Papers
Arash Vahabzadeh
,
Andrea Stocco
,
Ali Mesbah
University of British Columbia
Pre-print
14:40
20m
Talk
FAST Approaches to Scalable Similarity-based Test Case Prioritization
* ICSE * Technical Papers
Breno Miranda
Federal University of Pernambuco
,
Emilio Cruciani
Gran Sasso Science Institute, L'Aquila, Italy
,
Roberto Verdecchia
Gran Sasso Science Institute, Vrije Universiteit Amsterdam
,
Antonia Bertolino
CNR-ISTI
DOI
Pre-print
File Attached
15:00
20m
Talk
Towards Refactoring-Aware Regression Test Selection
* ICSE * Technical Papers
Kaiyuan Wang
,
Chenguang Zhu
University of Texas, Austin
,
Ahmet Celik
University of Texas at Austin, USA
,
Jongwook Kim
,
Don Batory
University of Texas, Austin
,
Milos Gligoric
University of Texas at Austin
File Attached
15:20
10m
Talk
Q&A in groups
* ICSE * Technical Papers
16:00 - 17:30
Security, Privacy and Trust I
* ICSE * Technical Papers
/
* ICSE * Journal first papers
at
G1 room
Chair(s):
Antonio Carzaniga
Università della Svizzera italiana
16:00
20m
Talk
Secure Coding Practices in Java: Challenges and Vulnerabilities
* ICSE * Technical Papers
Na Meng
Virginia Tech
,
Stefan Nagy
,
Daphne Yao
Virginia Tech
,
Wenjie Zhuang
,
Gustavo Arango Argoty
16:20
20m
Talk
EnMobile: Entity-based Characterization and Analysis of Mobile Malware
* ICSE * Technical Papers
Wei Yang
University of Illinois at Urbana-Champaign
,
Mukul Prasad
Fujitsu Laboratories of America
,
Tao Xie
University of Illinois at Urbana-Champaign
16:40
20m
Talk
Model Comprehension for Security Risk Assessment: An Empirical Comparison of Tabular vs. Graphical Representations
* ICSE * Journal first papers
Katsiaryna Labunets
,
Fabio Massacci
University of Trento
,
Federica Paci
,
Sabrina Marczak
,
Flávio Moreira de Oliveira
Link to publication
DOI
Pre-print
File Attached
17:00
20m
Talk
Privacy by Designers: Software Developers’ Privacy Mindset
* ICSE * Journal first papers
Irit Hadar
,
Tomer Hasson
,
Oshrat Ayalon
,
Eran Toch
,
Michael Birnhack
,
Sofia Sherman
,
Arod Balissa
17:20
10m
Talk
Q&A in groups
* ICSE * Technical Papers
Thu 31 May
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
11:00 - 12:30
Security, Privacy and Trust II
* ICSE * Technical Papers
/
* ICSE * Journal first papers
at
G1 room
Chair(s):
Julia Rubin
University of British Columbia
11:00
20m
Talk
ENTRUST: Engineering Trustworthy Self-Adaptive Software with Dynamic Assurance Cases
* ICSE * Journal first papers
Radu Calinescu
University of York, UK
,
Danny Weyns
KU Leuven
,
Simos Gerasimou
,
Muhammad Usman Iftikhar
Linnaeus University, Sweden
,
Ibrahim Habli
,
Tim Kelly
11:20
20m
Talk
The Good, the Bad and the Ugly: A Study of Security Decisions in a Cyber-Physical Systems Game
* ICSE * Journal first papers
Sylvain Frey
,
Awais Rashid
University of Bristol, UK
,
Pauline Anthonysamy
,
Maria Pinto-Albuquerque
Instituto Universitário de Lisboa (ISCTE-IUL)
,
Syed Asad Naqvi
11:40
20m
Talk
Lightweight, Obfuscation-Resilient Detection and Family Identification of Android Malware
* ICSE * Journal first papers
Joshua Garcia
,
Mahmoud Hammad
University of California, Irvine
,
Sam Malek
University of California, Irvine
Link to publication
File Attached
12:00
20m
Talk
Are Vulnerabilities Discovered and Resolved like Other Defects?
* ICSE * Journal first papers
Patrick Morrison
,
Rahul Pandita
Phase Change Software
,
Xusheng Xiao
Case Western Reserve University
,
Ram Chillarege
,
Laurie Williams
North Carolina State University
12:20
10m
Talk
Q&A in groups
* ICSE * Technical Papers
14:00 - 15:30
Program Analysis I
* ICSE * Technical Papers
at
G1 room
Chair(s):
Darko Marinov
University of Illinois at Urbana-Champaign
14:00
20m
Talk
Dataflow Tunneling: Mining Inter-request Data Dependencies for Request-based Applications
* ICSE * Technical Papers
Xiao Yu
North Carolina State University
,
Guoliang Jin
North Carolina State University
Pre-print
File Attached
14:20
20m
Talk
Launch-Mode-Aware Context-Sensitive Activity Transition Analysis for Android Apps
* ICSE * Technical Papers
Yifei Zhang
UNSW Sydney
,
Yulei Sui
University of Technology Sydney, Australia
,
Jingling Xue
UNSW Sydney
DOI
Pre-print
File Attached
14:40
20m
Talk
UFO: Predictive Concurrency Use-After-Free Detection
* ICSE * Technical Papers
Jeff Huang
Texas A&M University
Pre-print
15:00
20m
Talk
Collective Program Analysis
* ICSE * Technical Papers
Ganesha Upadhyaya
Futurewei Technologies
,
Hridesh Rajan
Iowa State University
Pre-print
15:20
10m
Talk
Q&A in groups
* ICSE * Technical Papers
Fri 1 Jun
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
09:00 - 10:30
Program Analysis II
* ICSE * Technical Papers
/
* ICSE * Journal first papers
at
G1 room
Chair(s):
Christine Julien
The University of Texas at Austin
09:00
20m
Talk
Multi-Granular Conflict and Dependency Analysis in Software Engineering based on Graph Transformation
* ICSE * Technical Papers
Leen Lambers
,
Daniel Strüber
University of Koblenz-Landau, Germany
,
Gabriele Taentzer
Universität Marburg
,
Kristopher Born
,
Jevgenij Huebert
DOI
Pre-print
File Attached
09:20
20m
Talk
Self-Hiding Behavior in Android Apps: Detection and Characterization
* ICSE * Technical Papers
Zhiyong Shan
Wichita State University
,
Iulian Neamtiu
New Jersey Institute of Technology
,
Raina Samuel
New Jersey Institute of Technology
File Attached
09:40
20m
Talk
The Scent of a Smell: An Extensive Comparison between Textual and Structural Smells
* ICSE * Journal first papers
Fabio Palomba
,
Annibale Panichella
Deflt University of Technology
,
Andy Zaidman
TU Delft
,
Rocco Oliveto
University of Molise
,
Andrea De Lucia
University of Salerno
Pre-print
10:00
20m
Talk
ConflictJS: Finding and Understanding Conflicts Between JavaScript Libraries
* ICSE * Technical Papers
Jibesh Patra
Technical University of Darmstadt
,
Pooja N. Dixit
,
Michael Pradel
TU Darmstadt
Pre-print
File Attached
10:20
10m
Talk
Q&A in groups
* ICSE * Technical Papers
11:00 - 12:30
Models and Modeling I
* ICSE * Technical Papers
/
* ICSE * Journal first papers
at
G1 room
Chair(s):
Jon Whittle
Monash University
11:00
20m
Talk
Propagating Configuration Decisions with Modal Implication Graphs
* ICSE * Technical Papers
Sebastian Krieter
Magdeburg University
,
Thomas Thüm
University of Ulm
,
Sandro Schulze
University of Magdeburg, Germany
,
Reimar Schröter
Magdeburg University
,
Gunter Saake
University of Magdeburg, Germany
11:20
20m
Talk
A Combinatorial Approach for Exposing Off-Nominal Behaviors
* ICSE * Technical Papers
Kaushik Madala
,
Hyunsook Do
University of North Texas
,
Daniel Aceituna
11:40
20m
Research paper
Identifying Design Problems in the Source Code: A Grounded Theory
* ICSE * Technical Papers
Leonardo Da Silva Sousa
,
Anderson Oliveira
,
Willian Oizumi
PUC-Rio
,
Simone Barbosa
PUC-Rio
,
Alessandro Garcia
PUC-Rio
,
Jaejoon Lee
Lancaster University, UK
,
Marcos Kalinowski
Pontifical Catholic University of Rio de Janeiro (PUC-Rio)
,
Rafael de Mello
,
Baldoino Fonseca
,
Roberto Oliveira
,
Carlos Lucena
,
Rodrigo Paes
File Attached
12:00
20m
Talk
Predicting Future Developer Behavior in the IDE Using Topic Models
* ICSE * Journal first papers
Kostadin Damevski
Virginia Commonwealth University
,
Hui Chen
,
David C. Shepherd
ABB, Inc
,
Nicholas A. Kraft
ABB Corporate Research
,
Lori Pollock
DOI
Pre-print
12:20
10m
Talk
Q&A in groups
* ICSE * Technical Papers
14:00 - 15:30
Models and Modeling II
* ICSE * Technical Papers
/
* ICSE * Journal first papers
at
G1 room
Chair(s):
Jon Whittle
Monash University
14:00
20m
Talk
Programming Not Only by Example
* ICSE * Technical Papers
Hila Peleg
Technion, Israel
,
Sharon Shoham
Tel Aviv university
,
Eran Yahav
Technion
Pre-print
Media Attached
14:20
20m
Talk
Goal-Conflict Likelihood Assessment based on Model Counting
* ICSE * Technical Papers
Renzo Degiovanni
Universidad Nacional de Río Cuarto
,
Pablo Castro
,
Marcelo Arroyo
,
Marcelo Ruiz
Dept. of Mathematics, FCEFQyN, University of Río Cuarto, Argentina
,
Nazareno Aguirre
Dept. of Computer Science FCEFQyN, University of Rio Cuarto
,
Marcelo F. Frias
Dept. of Software Engineering Instituto Tecnológico de Buenos Aires
Pre-print
File Attached
14:40
20m
Talk
A Posteriori Typing for Model-Driven Engineering: Concepts, Analysis, and Applications
* ICSE * Journal first papers
Juan de Lara
,
Esther Guerra
15:00
20m
Talk
A Static Verification Framework for Message Passing in Go using Behavioural Types
* ICSE * Technical Papers
Julien Lange
University of Kent
,
Nicholas Ng
Imperial College London
,
Bernardo Toninho
Imperial College London
,
Nobuko Yoshida
Imperial College London
DOI
Pre-print
Media Attached
15:20
10m
Talk
Q&A in groups
* ICSE * Technical Papers
Wed 30 May
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
G1 room
* ICSE * Technical Papers + * ICSE * Journal first papers
Software Evolution and Maintenance I
* ICSE * Technical Papers
Regression Testing
* ICSE * Technical Papers + * ICSE * Journal first papers
Security, Privacy and Trust I
Thu 31 May
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
G1 room
* ICSE * Technical Papers + * ICSE * Journal first papers
Security, Privacy and Trust II
* ICSE * Technical Papers
Program Analysis I
Fri 1 Jun
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
9:00
30
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
G1 room
* ICSE * Technical Papers + * ICSE * Journal first papers
Program Analysis II
* ICSE * Technical Papers + * ICSE * Journal first papers
Models and Modeling I
* ICSE * Technical Papers + * ICSE * Journal first papers
Models and Modeling II
Wed 30 May
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
16:00
15
30
45
17:00
15
30
45
G1 room
* ICSE * Technical Papers
Neuro-Symbolic Program Repair for Correcting Introductory Programming A ...
11:00 - 11:20
* ICSE * Technical Papers
Automated Localization for Unreproducible Builds
11:20 - 11:40
* ICSE * Technical Papers
Enlightened Debugging
11:40 - 12:00
* ICSE * Journal first papers
Experiences and Challenges in Building a Data Intensive System for Data ...
12:00 - 12:20
* ICSE * Technical Papers
Q&A in groups
12:20 - 12:30
* ICSE * Technical Papers
Hybrid Regression Test Selection
14:00 - 14:20
* ICSE * Technical Papers
Fine-Grained Test Minimization
14:20 - 14:40
* ICSE * Technical Papers
FAST Approaches to Scalable Similarity-based Test Case Prioritization
14:40 - 15:00
* ICSE * Technical Papers
Towards Refactoring-Aware Regression Test Selection
15:00 - 15:20
* ICSE * Technical Papers
Q&A in groups
15:20 - 15:30
* ICSE * Technical Papers
Secure Coding Practices in Java: Challenges and Vulnerabilities
16:00 - 16:20
* ICSE * Technical Papers
EnMobile: Entity-based Characterization and Analysis of Mobile Malware
16:20 - 16:40
* ICSE * Journal first papers
Model Comprehension for Security Risk Assessment: An Empirical Comparis ...
16:40 - 17:00
* ICSE * Journal first papers
Privacy by Designers: Software Developers’ Privacy Mindset
17:00 - 17:20
* ICSE * Technical Papers
Q&A in groups
17:20 - 17:30
Thu 31 May
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
G1 room
* ICSE * Journal first papers
ENTRUST: Engineering Trustworthy Self-Adaptive Software with Dynamic As ...
11:00 - 11:20
* ICSE * Journal first papers
The Good, the Bad and the Ugly: A Study of Security Decisions in a Cyb ...
11:20 - 11:40
* ICSE * Journal first papers
Lightweight, Obfuscation-Resilient Detection and Family Identification ...
11:40 - 12:00
* ICSE * Journal first papers
Are Vulnerabilities Discovered and Resolved like Other Defects?
12:00 - 12:20
* ICSE * Technical Papers
Q&A in groups
12:20 - 12:30
* ICSE * Technical Papers
Dataflow Tunneling: Mining Inter-request Data Dependencies for Request- ...
14:00 - 14:20
* ICSE * Technical Papers
Launch-Mode-Aware Context-Sensitive Activity Transition Analysis for An ...
14:20 - 14:40
* ICSE * Technical Papers
UFO: Predictive Concurrency Use-After-Free Detection
14:40 - 15:00
* ICSE * Technical Papers
Collective Program Analysis
15:00 - 15:20
* ICSE * Technical Papers
Q&A in groups
15:20 - 15:30
Fri 1 Jun
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
9:00
15
30
45
10:00
15
30
45
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
G1 room
* ICSE * Technical Papers
Multi-Granular Conflict and Dependency Analysis in Software Engineering ...
09:00 - 09:20
* ICSE * Technical Papers
Self-Hiding Behavior in Android Apps: Detection and Characterization
09:20 - 09:40
* ICSE * Journal first papers
The Scent of a Smell: An Extensive Comparison between Textual and Struc ...
09:40 - 10:00
* ICSE * Technical Papers
ConflictJS: Finding and Understanding Conflicts Between JavaScript Libr ...
10:00 - 10:20
* ICSE * Technical Papers
Q&A in groups
10:20 - 10:30
* ICSE * Technical Papers
Propagating Configuration Decisions with Modal Implication Graphs
11:00 - 11:20
* ICSE * Technical Papers
A Combinatorial Approach for Exposing Off-Nominal Behaviors
11:20 - 11:40
* ICSE * Technical Papers
Identifying Design Problems in the Source Code: A Grounded Theory
11:40 - 12:00
* ICSE * Journal first papers
Predicting Future Developer Behavior in the IDE Using Topic Models
12:00 - 12:20
* ICSE * Technical Papers
Q&A in groups
12:20 - 12:30
* ICSE * Technical Papers
Programming Not Only by Example
14:00 - 14:20
* ICSE * Technical Papers
Goal-Conflict Likelihood Assessment based on Model Counting
14:20 - 14:40
* ICSE * Journal first papers
A Posteriori Typing for Model-Driven Engineering: Concepts, Analysis, a ...
14:40 - 15:00
* ICSE * Technical Papers
A Static Verification Framework for Message Passing in Go using Behavio ...
15:00 - 15:20
* ICSE * Technical Papers
Q&A in groups
15:20 - 15:30
x
Sat 23 Nov 09:02