Pub Date : 2023-04-21DOI: 10.1007/s11219-023-09627-3
Euler Horta Marinho, Fischer Ferreira, J. P. Diniz, Eduardo Figueiredo
{"title":"Evaluating testing strategies for resource related failures in mobile applications","authors":"Euler Horta Marinho, Fischer Ferreira, J. P. Diniz, Eduardo Figueiredo","doi":"10.1007/s11219-023-09627-3","DOIUrl":"https://doi.org/10.1007/s11219-023-09627-3","url":null,"abstract":"","PeriodicalId":21827,"journal":{"name":"Software Quality Journal","volume":" ","pages":""},"PeriodicalIF":1.9,"publicationDate":"2023-04-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"44535733","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2023-04-17DOI: 10.1007/s11219-023-09616-6
Maurizio Leotta, Davide Paparella, F. Ricca
{"title":"Mutta: a novel tool for E2E web mutation testing","authors":"Maurizio Leotta, Davide Paparella, F. Ricca","doi":"10.1007/s11219-023-09616-6","DOIUrl":"https://doi.org/10.1007/s11219-023-09616-6","url":null,"abstract":"","PeriodicalId":21827,"journal":{"name":"Software Quality Journal","volume":" ","pages":""},"PeriodicalIF":1.9,"publicationDate":"2023-04-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"48366408","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2023-03-24DOI: 10.1007/s11219-023-09625-5
Leila Yousofvand, Seyfollah Soleimani, V. Rafe
{"title":"Automatic bug localization using a combination of deep learning and model transformation through node classification","authors":"Leila Yousofvand, Seyfollah Soleimani, V. Rafe","doi":"10.1007/s11219-023-09625-5","DOIUrl":"https://doi.org/10.1007/s11219-023-09625-5","url":null,"abstract":"","PeriodicalId":21827,"journal":{"name":"Software Quality Journal","volume":"1 1","pages":""},"PeriodicalIF":1.9,"publicationDate":"2023-03-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"41358222","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2023-03-04DOI: 10.1007/s11219-023-09615-7
Nayeem Ahmad Bhat, Sheikh Umar Farooq
{"title":"An empirical evaluation of defect prediction approaches in within-project and cross-project context","authors":"Nayeem Ahmad Bhat, Sheikh Umar Farooq","doi":"10.1007/s11219-023-09615-7","DOIUrl":"https://doi.org/10.1007/s11219-023-09615-7","url":null,"abstract":"","PeriodicalId":21827,"journal":{"name":"Software Quality Journal","volume":"31 1","pages":"917 - 946"},"PeriodicalIF":1.9,"publicationDate":"2023-03-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"43466938","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2023-03-01DOI: 10.1007/s11219-023-09617-5
Márton Elekes, V. Molnár, Zoltán Micskei
{"title":"Assessing the specification of modelling language semantics: a study on UML PSSM","authors":"Márton Elekes, V. Molnár, Zoltán Micskei","doi":"10.1007/s11219-023-09617-5","DOIUrl":"https://doi.org/10.1007/s11219-023-09617-5","url":null,"abstract":"","PeriodicalId":21827,"journal":{"name":"Software Quality Journal","volume":"31 1","pages":"575 - 617"},"PeriodicalIF":1.9,"publicationDate":"2023-03-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"46298355","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2023-03-01DOI: 10.1007/s11219-022-09613-1
Markus Borg, Jens Henriksson, Kasper Socha, Olof Lennartsson, Elias Sonnsjö Lönegren, Thanh Bui, Piotr Tomaszewski, Sankar Raman Sathyamoorthy, Sebastian Brink, Mahshid Helali Moghadam
Integration of machine learning (ML) components in critical applications introduces novel challenges for software certification and verification. New safety standards and technical guidelines are under development to support the safety of ML-based systems, e.g., ISO 21448 SOTIF for the automotive domain and the Assurance of Machine Learning for use in Autonomous Systems (AMLAS) framework. SOTIF and AMLAS provide high-level guidance but the details must be chiseled out for each specific case. We initiated a research project with the goal to demonstrate a complete safety case for an ML component in an open automotive system. This paper reports results from an industry-academia collaboration on safety assurance of SMIRK, an ML-based pedestrian automatic emergency braking demonstrator running in an industry-grade simulator. We demonstrate an application of AMLAS on SMIRK for a minimalistic operational design domain, i.e., we share a complete safety case for its integrated ML-based component. Finally, we report lessons learned and provide both SMIRK and the safety case under an open-source license for the research community to reuse.
在关键应用中集成机器学习(ML)组件为软件认证和验证带来了新的挑战。目前正在制定新的安全标准和技术指南,以支持基于 ML 的系统的安全性,例如针对汽车领域的 ISO 21448 SOTIF 和用于自主系统的机器学习保证(AMLAS)框架。SOTIF 和 AMLAS 提供了高层次的指导,但必须针对每种具体情况确定细节。我们启动了一个研究项目,目的是为开放式汽车系统中的 ML 组件展示一个完整的安全案例。本文报告了在行业级模拟器中运行的基于 ML 的行人自动紧急制动演示器 SMIRK 的安全保证方面的产学合作成果。我们在 SMIRK 上演示了 AMLAS 在最小化操作设计领域的应用,即分享了其基于 ML 的集成组件的完整安全案例。最后,我们报告了经验教训,并以开源许可的方式提供 SMIRK 和安全案例,供研究界重复使用。
{"title":"Ergo, SMIRK is safe: a safety case for a machine learning component in a pedestrian automatic emergency brake system.","authors":"Markus Borg, Jens Henriksson, Kasper Socha, Olof Lennartsson, Elias Sonnsjö Lönegren, Thanh Bui, Piotr Tomaszewski, Sankar Raman Sathyamoorthy, Sebastian Brink, Mahshid Helali Moghadam","doi":"10.1007/s11219-022-09613-1","DOIUrl":"10.1007/s11219-022-09613-1","url":null,"abstract":"<p><p>Integration of machine learning (ML) components in critical applications introduces novel challenges for software certification and verification. New safety standards and technical guidelines are under development to support the safety of ML-based systems, e.g., ISO 21448 SOTIF for the automotive domain and the Assurance of Machine Learning for use in Autonomous Systems (AMLAS) framework. SOTIF and AMLAS provide high-level guidance but the details must be chiseled out for each specific case. We initiated a research project with the goal to demonstrate a complete safety case for an ML component in an open automotive system. This paper reports results from an industry-academia collaboration on safety assurance of SMIRK, an ML-based pedestrian automatic emergency braking demonstrator running in an industry-grade simulator. We demonstrate an application of AMLAS on SMIRK for a minimalistic operational design domain, i.e., we share a complete safety case for its integrated ML-based component. Finally, we report lessons learned and provide both SMIRK and the safety case under an open-source license for the research community to reuse.</p>","PeriodicalId":21827,"journal":{"name":"Software Quality Journal","volume":"1 1","pages":"1-69"},"PeriodicalIF":1.9,"publicationDate":"2023-03-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://www.ncbi.nlm.nih.gov/pmc/articles/PMC9975451/pdf/","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"44105897","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2023-02-21DOI: 10.1007/s11219-023-09618-4
Luigi De Simone, N. Laranjeiro, Domenico Cotroneo
{"title":"Guest editorial: special issue on emerging challenges in software certification and verification","authors":"Luigi De Simone, N. Laranjeiro, Domenico Cotroneo","doi":"10.1007/s11219-023-09618-4","DOIUrl":"https://doi.org/10.1007/s11219-023-09618-4","url":null,"abstract":"","PeriodicalId":21827,"journal":{"name":"Software Quality Journal","volume":"31 1","pages":"305 - 306"},"PeriodicalIF":1.9,"publicationDate":"2023-02-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"42354258","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}