Write a Blog >>
ICSE 2020
Wed 24 June - Thu 16 July 2020
Wed 8 Jul 2020 15:00 - 15:12 at Silla - A9-Traceability Chair(s): Andrea Zisman

Traceability plays an essential role in assuring that software and systems are safe to use. Automated requirements traceability faces the low precision challenge due to a large number of false positives being returned and mingled with the true links. To overcome this challenge, we present a mutation-driven method built on the novel idea of proactively creating many seemingly correct tracing targets (i.e., mutants of a state machine diagram), and then exploiting model checking within process mining to automatically verify whether the safety requirement’s properties hold in the mutants. A mutant is killed if its model checking fails; otherwise, it is survived. We leverage the underlying killed-survived distinction, and develop a correlation analysis procedure to identify the traceability links. Experimental evaluation results on two automotive systems with 27 safety requirements show considerable precision improvements compared with the state-of-the-art.

Wed 8 Jul
Times are displayed in time zone: (UTC) Coordinated Universal Time change

15:00 - 16:00: Paper Presentations - A9-Traceability at Silla
Chair(s): Andrea ZismanThe Open University
icse-2020-papers15:00 - 15:12
Mounifah AlenaziUniversity of Cincinnati, Nan NiuUniversity of Cincinnati, Juha SavolainenDanfoss
icse-2020-papers15:12 - 15:24
Robert WhiteUniversity College London, UK, Jens KrinkeUniversity College London, Raymond TanUniversity College London
icse-2020-New-Ideas-and-Emerging-Results15:24 - 15:30
Hamid BagheriUniversity of Nebraska-Lincoln, USA, Eunsuk KangCarnegie Mellon University, Niloofar MansoorUniversity of Nebraska - Lincoln
Demonstrations15:30 - 15:33
Christoph Mayr-DornJohannes Kepler University Linz, Michael VierhauserJohannes Kepler University Linz, Felix KeplingerJohannes Kepler University, Linz, Stefan BichlerJohannes Kepler University, Linz, Alexander EgyedJohannes Kepler University, Linz
icse-2020-Software-Engineering-in-Practice15:33 - 15:45
Steve McKeeverDepartment of Informatics and Media, Uppsala University, Sweden, Omar-Alfred SalahDepartment of Informatics and Media, Uppsala University, Sweden
icse-2020-papers15:45 - 15:57
Kevin MoranWilliam & Mary/George Mason University, David Nader PalacioWilliam & Mary, Carlos Bernal-CárdenasWilliam and Mary, Denys PoshyvanykWilliam and Mary, Daniel McCrystalWilliam & Mary, Chris ShenefielCisco Systems, Jeff JohnsonCisco Systems
Pre-print Media Attached