Write a Blog >>
ICSE 2021
Mon 17 May - Sat 5 June 2021
Tue 25 May 2021 15:40 - 15:55 at Blended Sessions Room 1 - 1.3.1. Quality Assurance Chair(s): Silvia Abrahão
Wed 26 May 2021 03:40 - 03:55 at Blended Sessions Room 1 - 1.3.1. Quality Assurance

Software processes, together with software quality assurance, focus on ensuring and attesting that the engineering processes result in the appropriate software quality. Complex processes and regulations (e.g., in safety-critical systems), time pressure, or coordination needs, often cause engineers to deviate from prescribed processes, producing a cascade of inconsistencies whose repair is typically troublesome. Accordingly, guidance is needed to help engineers to fix the inconsistencies and understand the implications of postponing inconsistency resolution until engineers reach a consensual agreement of the most convenient repair. To this end, we bring together techniques and methods from process engineering, model inconsistency checking, and formal methods. Preliminary evaluations with real industry data have demonstrated the ability of our early prototype to track process inconsistencies across time and the potential for automated repair.

Tue 25 May
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

15:20 - 16:15
1.3.1. Quality AssuranceNIER - New Ideas and Emerging Results / Technical Track at Blended Sessions Room 1 +12h
Chair(s): Silvia AbrahãoUniversitat Politècnica de València
15:20
20m
Paper
Supporting Quality Assurance with Automated Process-Centric Quality Constraints CheckingTechnical Track
Technical Track
Christoph Mayr-DornJohannes Kepler University, Linz, Michael VierhauserJohannes Kepler University Linz, Stefan BichlerJOHANNES KEPLER UNIVERSITY LINZ, Felix KeplingerJOHANNES KEPLER UNIVERSITY LINZ, Jane Cleland-HuangUniversity of Notre Dame, Alexander EgyedJohannes Kepler University, Thomas MehoferFrequentis AG
Pre-print
15:40
15m
Paper
Inconsistency-tolerating guidance for software engineering processesNIER
NIER - New Ideas and Emerging Results
Christoph Mayr-DornJohannes Kepler University, Linz, Roland KretschmerJohannes Kepler University, Linz, Alexander EgyedJohannes Kepler University, Ruben HeradioUNED (Universidad Nacional de Educacion a Distancia), David Fernandez-AmorosUNED
Pre-print
15:55
20m
Paper
Understanding Bounding Functions in Safety-Critical UAV SoftwareTechnical Track
Technical Track
Xiaozhou LiangSUNY Binghamton, John Henry BurnsSUNY Binghamton, Joseph SanchezSUNY Binghamton, Karthik DantuUniversity at Buffalo, Lukasz ZiarekUniversity at Buffalo, Yu David LiuSUNY Binghamton
Pre-print

Wed 26 May
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

03:20 - 04:15
03:20
20m
Paper
Supporting Quality Assurance with Automated Process-Centric Quality Constraints CheckingTechnical Track
Technical Track
Christoph Mayr-DornJohannes Kepler University, Linz, Michael VierhauserJohannes Kepler University Linz, Stefan BichlerJOHANNES KEPLER UNIVERSITY LINZ, Felix KeplingerJOHANNES KEPLER UNIVERSITY LINZ, Jane Cleland-HuangUniversity of Notre Dame, Alexander EgyedJohannes Kepler University, Thomas MehoferFrequentis AG
Pre-print
03:40
15m
Paper
Inconsistency-tolerating guidance for software engineering processesNIER
NIER - New Ideas and Emerging Results
Christoph Mayr-DornJohannes Kepler University, Linz, Roland KretschmerJohannes Kepler University, Linz, Alexander EgyedJohannes Kepler University, Ruben HeradioUNED (Universidad Nacional de Educacion a Distancia), David Fernandez-AmorosUNED
Pre-print
03:55
20m
Paper
Understanding Bounding Functions in Safety-Critical UAV SoftwareTechnical Track
Technical Track
Xiaozhou LiangSUNY Binghamton, John Henry BurnsSUNY Binghamton, Joseph SanchezSUNY Binghamton, Karthik DantuUniversity at Buffalo, Lukasz ZiarekUniversity at Buffalo, Yu David LiuSUNY Binghamton
Pre-print

Information for Participants
Info for Blended Sessions Room 1: