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

Displayed 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ão Universitat Politècnica de València
15:20
20m
Paper
Supporting Quality Assurance with Automated Process-Centric Quality Constraints CheckingTechnical Track
Technical Track
Christoph Mayr-Dorn Johannes Kepler University, Linz, Michael Vierhauser Johannes Kepler University Linz, Stefan Bichler JOHANNES KEPLER UNIVERSITY LINZ, Felix Keplinger JOHANNES KEPLER UNIVERSITY LINZ, Jane Cleland-Huang University of Notre Dame, Alexander Egyed Johannes Kepler University, Thomas Mehofer Frequentis AG
Pre-print Media Attached
15:40
15m
Paper
Inconsistency-tolerating guidance for software engineering processesNIER
NIER - New Ideas and Emerging Results
Christoph Mayr-Dorn Johannes Kepler University, Linz, Roland Kretschmer Johannes Kepler University, Linz, Alexander Egyed Johannes Kepler University, Ruben Heradio UNED (Universidad Nacional de Educacion a Distancia), David Fernandez-Amoros UNED
Pre-print Media Attached
15:55
20m
Paper
Understanding Bounding Functions in Safety-Critical UAV SoftwareTechnical Track
Technical Track
Xiaozhou Liang SUNY Binghamton, John Henry Burns SUNY Binghamton, Joseph Sanchez SUNY Binghamton, Karthik Dantu University at Buffalo, Lukasz Ziarek University at Buffalo, Yu David Liu SUNY Binghamton
Pre-print Media Attached

Wed 26 May

Displayed 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-Dorn Johannes Kepler University, Linz, Michael Vierhauser Johannes Kepler University Linz, Stefan Bichler JOHANNES KEPLER UNIVERSITY LINZ, Felix Keplinger JOHANNES KEPLER UNIVERSITY LINZ, Jane Cleland-Huang University of Notre Dame, Alexander Egyed Johannes Kepler University, Thomas Mehofer Frequentis AG
Pre-print Media Attached
03:40
15m
Paper
Inconsistency-tolerating guidance for software engineering processesNIER
NIER - New Ideas and Emerging Results
Christoph Mayr-Dorn Johannes Kepler University, Linz, Roland Kretschmer Johannes Kepler University, Linz, Alexander Egyed Johannes Kepler University, Ruben Heradio UNED (Universidad Nacional de Educacion a Distancia), David Fernandez-Amoros UNED
Pre-print Media Attached
03:55
20m
Paper
Understanding Bounding Functions in Safety-Critical UAV SoftwareTechnical Track
Technical Track
Xiaozhou Liang SUNY Binghamton, John Henry Burns SUNY Binghamton, Joseph Sanchez SUNY Binghamton, Karthik Dantu University at Buffalo, Lukasz Ziarek University at Buffalo, Yu David Liu SUNY Binghamton
Pre-print Media Attached