Volume 31, Issue 2

Search all Software Quality Journal articles

June 2023

Emerging Challenges in Software Certification and Verification

Issue Editors:

Luigi Simone,
Nuno Laranjeiro,
Domenico Cotroneo

10 articles in this issue

Guest editorial: special issue on emerging challenges in software certification and verification
Luigi De Simone
Nuno Laranjeiro
Domenico Cotroneo
EditorialNotes 21 February 2023 Pages: 305 - 306
Continuous design control for machine learning in certified medical systems
Vlad Stirbu
Tuomas Granlund
Tommi Mikkonen
OriginalPaper Open access 17 October 2022 Pages: 307 - 333
Ergo, SMIRK is safe: a safety case for a machine learning component in a pedestrian automatic emergency brake system
Markus Borg
Jens Henriksson
Mahshid Helali Moghadam
OriginalPaper Open access 01 March 2023 Pages: 335 - 403
Dynamic and execution views to improve validation, testing, and optimization of autonomous driving software
Miguel Alcon
Hamid Tabani
Francisco J. Cazorla
OriginalPaper 15 February 2023 Pages: 405 - 439
Part of 1 collection:

Computer Science SDG 7: Affordable and Clean Energy
Critical scenario identification for realistic testing of autonomous driving systems
Qunying Song
Kaige Tan
Stefan Persson
OriginalPaper Open access 03 December 2022 Pages: 441 - 469
Part of 1 collection:

Computer Science Open Access SDG 3: Good Health and Well-Being
Prioritization and parallel execution of test cases for certification testing of embedded systems
Şahin Dirim
Okan Örsan Özener
Hasan Sözer
OriginalPaper 22 July 2022 Pages: 471 - 496
Formal verification process of the compliance of a multicore AUTOSAR OS
Imane Haur
Jean-Luc Béchennec
Olivier H. Roux
OriginalPaper 25 May 2023 Pages: 497 - 531
Quality attribute traceability based on Clone Microtactics
Ehsan Sharifi
Ahmad Abdolahzadeh-Barforoosh
OriginalPaper 23 November 2022 Pages: 533 - 573
Assessing the specification of modelling language semantics: a study on UML PSSM
Márton Elekes
Vince Molnár
Zoltán Micskei
OriginalPaper Open access 01 March 2023 Pages: 575 - 617
From DevOps to DevSecOps is not enough. CyberDevOps: an extreme shifting-left architecture to bring cybersecurity within software security lifecycle pipeline
Federico Lombardi
Alberto Fanton
OriginalPaper 26 April 2023 Pages: 619 - 654

Volume 31, Issue 2

Search

Navigation