Change search
Link to record
Permanent link

Direct link
Publications (10 of 15) Show all publications
Cabrero-Daniel, B. & Mohamad, M. (2026). Challenges of Virtual Validation and Verification for Automotive Functions. In: Lecture Notes in Computer Science: (pp. 183-200). Springer Science and Business Media Deutschland GmbH, 16081 LNCS
Open this publication in new window or tab >>Challenges of Virtual Validation and Verification for Automotive Functions
2026 (English)In: Lecture Notes in Computer Science, Springer Science and Business Media Deutschland GmbH , 2026, Vol. 16081 LNCS, p. 183-200Conference paper, Published paper (Refereed)
Abstract [en]

Verification and validation of vehicles is a complex yet critical process, particularly for ensuring safety and coverage through simulations. However, achieving realistic and useful simulations comes with significant challenges. To explore these challenges, we conducted a workshop with experts in the field, allowing them to brainstorm key obstacles. Following this, we distributed a survey to consolidate findings and gain further insights into potential solutions. The experts identified 17 key challenges, along with proposed solutions, an assessment of whether they represent next steps for research, and the roadblocks to their implementation. While a lack of resources was not initially highlighted as a major challenge, utilizing more resources emerged as a critical necessity when experts discussed solutions. Interestingly, we expected some of these challenges to have already been addressed or to have systematic solutions readily available, given the collective expertise in the field. Many of the identified problems already have known solutions, allowing us to shift focus towards unresolved challenges and share the next steps with the broader community

Place, publisher, year, edition, pages
Springer Science and Business Media Deutschland GmbH, 2026
Keywords
Autonomous Driving; Challenges; Simulation; Validation and Verification
National Category
Software Engineering
Identifiers
urn:nbn:se:ri:diva-80387 (URN)10.1007/978-3-032-04190-6_12 (DOI)2-s2.0-105016181161 (Scopus ID)
Available from: 2026-01-27 Created: 2026-01-27 Last updated: 2026-01-27Bibliographically approved
Groner, R., Svensson, K., Axelrod, D., Khojah, R., Mohamad, M. & Wohlrab, R. (2026). Empowering Software Engineers to Design More Secure Web Applications: Guidelines and Potential of Using LLMs as a Recommender Tool. Journal of Software: Evolution and Process, 38(2)
Open this publication in new window or tab >>Empowering Software Engineers to Design More Secure Web Applications: Guidelines and Potential of Using LLMs as a Recommender Tool
Show others...
2026 (English)In: Journal of Software: Evolution and Process, Vol. 38, no 2Article in journal (Refereed) Published
Abstract [en]

As software applications get increasingly connected and complex, cybersecurity becomes more and more important to consider during development and evaluation. Software engineers need to be aware of various security threats and the countermeasures that can be taken to mitigate them. Currently, there is a lack of guidance for software engineers aiming to develop secure web applications. We conducted a design science research study, resulting in a set of guidelines to aid software engineers in developing secure web applications. The set of guidelines was constructed based on interview data with 10 industry practitioners. These guidelines were then evaluated using a survey with 28 respondents. Additionally, we conducted experiments in which we provided a large language model with our guidelines and vulnerability reports as input. The large language model should extend the given vulnerability reports by recommending which of our guidelines can help prevent the given vulnerability in the future. The extended reports were evaluated by two external researchers experienced in cyber security and one author. Our results indicate that developers consider using these proposed guidelines for the development and assessment of secure web applications in different stages of the software development lifecycle. Our results also show that it is possible to automatically enhance vulnerability reports to support developers meaningfully and that the guidelines recommended by the large language model are useful to prevent the respective vulnerabilities in the future

Place, publisher, year, edition, pages
John Wiley & Sons, 2026
Keywords
cybersecurity, design science research, experiments, guidelines, interviews, LLM, software engineering, survey, web applications
National Category
Software Engineering
Identifiers
urn:nbn:se:ri:diva-80898 (URN)10.1002/smr.70083 (DOI)2-s2.0-105029755627 (Scopus ID)
Note

QC 20260306

Available from: 2026-03-06 Created: 2026-03-06 Last updated: 2026-03-06Bibliographically approved
Jolak, R., Antinyan, V., Åström, A., Durisic, D., Kopp, O., Kriebel, S., . . . Bosch, J. (2026). Navigating the Future: Essential Considerations for the Engineering of Software-Defined Vehicles. Computer, 59.0(1.0), 74-84
Open this publication in new window or tab >>Navigating the Future: Essential Considerations for the Engineering of Software-Defined Vehicles
Show others...
2026 (English)In: Computer, ISSN 1891-62.0, Vol. 59.0, no 1.0, p. 74-84Article in journal (Refereed) Published
Abstract [en]

Software defined vehicles mark a shift to software-driven mobility, posing complex engineering and organizational challenges. To stay competitive, automotive industry players must adapt the architecture, development process, and organization to effectively manage complexity, updates, regulatory compliance, and rapid technological evolution

Place, publisher, year, edition, pages
IEEE Computer Society, 2026
National Category
Vehicle and Aerospace Engineering
Identifiers
urn:nbn:se:ri:diva-80665 (URN)10.1109/MC.2025.3580508 (DOI)2-s2.0-105028321645 (Scopus ID)
Note

The work of Rodi Jolak and Pontus Svenson was supported by the TWIN- LOOP Project (Grant Agreement 101192649), which is funded by the European Union.

Available from: 2026-02-23 Created: 2026-02-23 Last updated: 2026-02-23Bibliographically approved
Jolak, R., Mohamad, M., Avula, R. R., Meek, J. & Åström, A. (2026). SCENE: Guidelines for Security Chaos Engineering based on a systematic literature review. Journal of Systems and Software, 239
Open this publication in new window or tab >>SCENE: Guidelines for Security Chaos Engineering based on a systematic literature review
Show others...
2026 (English)In: Journal of Systems and Software, ISSN 0164-1212, E-ISSN 1873-1228, Vol. 239Article in journal (Refereed) Published
Abstract [en]

Security Chaos Engineering (SCE) is a proactive approach to identify vulnerabilities and enhance security of systems. It embraces continuous security experimentation to build confidence in the capability of systems to withstand malicious conditions. Different SCE techniques are proposed for enhancing the resilience of software systems. The diversity of SCE techniques indicates the need for their collective analysis to uncover valuable practices and potential research opportunities. To fulfill this need, we consolidate and unify the knowledge on SCE practices through a systematic literature review. The results show that there has been limited and unsystematic investigation of SCE by the community, highlighting the importance of creating and promoting guidelines for SCE practices. Therefore, we create SCENE, a comprehensive set of guidelines for systematically reporting SCE. The goal is to support the clarity, consistency, and reproducibility of SCE practices. SCENE guidelines are evaluated by cybersecurity practitioners and active researchers in the field, and is mapped to established methodological guidelines. The results indicates that SCENE is perceived positive in terms of usefulness, understandability, practicality, and completeness. SCENE is also found to complement established experimental reporting guidelines and bridge the gap between academic studies and industrial use

Place, publisher, year, edition, pages
Elsevier BV, 2026
Keywords
Guidelines, Resilience, Security Chaos Engineering, Software engineering, Vulnerability analysis
National Category
Software Engineering
Identifiers
urn:nbn:se:ri:diva-81516 (URN)10.1016/j.jss.2026.112896 (DOI)2-s2.0-105036251598 (Scopus ID)
Note

QC 20260504

Available from: 2026-05-04 Created: 2026-05-04 Last updated: 2026-05-04Bibliographically approved
Eriksson, M. (2025). EVIDENT 1: Enabling VIrtual valiDation & vErificatioN for ADAS and AD features. AstaZero AB
Open this publication in new window or tab >>EVIDENT 1: Enabling VIrtual valiDation & vErificatioN for ADAS and AD features
Show others...
2025 (English)Report (Other academic)
Abstract [en]

The EVIDENT project aims to address challenges in the automotive industry's validation and verification (V&V) processes for advanced driver assistance systems (ADAS) and autonomous driving (AD) features. Traditional V&V methods struggle to keep up with the increasing frequency of software updates. The project explores virtual validation strategies to complement or replace physical testing, thereby enhancing efficiency and safety assurance.

Automotive innovations are increasingly software-driven, necessitating frequent updates. Current validation processes heavily rely on physical testing, which is time-consuming and costly. The project focuses on how vehicle functionalities could be tested and validated in simulation models and what fidelity level that could be reached. By utilizing virtual environments, the project aims to proactively test software functions before deployment, ensuring accurate assessments of system performance in diverse scenarios.

The primary goal is to develop strategies that balance the realism of virtual test environments with practical implementation. Key research questions include:

  • What level of realism is required for simulations to be credible for testing edge cases?
  • How can virtual testing be integrated with real-world data to discover new edge cases?
  • How can virtual testing ensure functional safety to satisfy regulatory bodies?

The project also seeks to establish metrics for comparing physical and virtual test results and to utilize open-source tools for broader industry use.

The project follows a structured approach:

  1. Gap Analysis: Semi-structured interviews with industry experts were conducted to identify current best practices and challenges.
  2. Simulation Toolchain Assessment: Each partner's simulation tools, and maturity levels were evaluated.
  3. Scenario Development: Road network representations and test scenarios were developed using ASAM OpenDRIVE and OpenSCENARIO formats.
  4. Physical Testing: Various scenarios were tested on the AstaZero proving ground using vehicles equipped with advanced sensors and emergency braking systems.
  5. Simulations: Partners conducted virtual tests using the respective tool chains. The simulations aimed to replicate physical test conditions and gather comparable data.
  6. Data Comparison: Physical and simulated test data were compared to evaluate fidelity levels and trustworthiness. Metrics such as time to collision (TTC), braking distances, and object detection errors were analysed.

Five key case studies were tested:

  1. Automated Lane Keeping System (ALKS)
  2. Car-to-Car Front Turn-Across-Path (CCFTap)
  3. Car in Curve
  4. S-Curve
  5. Occluded Child

Each scenario focused on different aspects of vehicle dynamics, sensor performance, and emergency braking responses. For instance, the Occluded Child scenario tested automatic emergency braking when a child runs out from behind parked cars.

The project identified gaps between physical and simulated test results, such as differences in braking activations between physical test and simulation. It also highlighted the need for improving simulation tools' ability to replicate real-world vehicle behaviour accurately.

Key findings include:

  • Virtual tests can be reliable but require tuning to achieve higher fidelity.
  • Physical tests remain crucial for validating simulation models.
  • Establishing standardized KPIs for virtual testing is essential to enhance credibility.

The project faced several challenges such as:

  • Variability in sensor models across partners.
  • Human factors introducing inconsistencies in physical tests.
  • Limitations of existing simulation tools to accurately replicate real-world scenarios.

A comprehensive list of challenges was compiled to guide future research and development efforts.

EVIDENT successfully demonstrated the potential of virtual validation for ADAS and AD features. The project contributed to developing methodologies for comparing physical and virtual tests and provided insights into the requirements for credible virtual toolchains.

Future research is recommended to focus on refining simulation validation methods, improving data synchronization methods, and addressing identified challenges to make virtual validation a practical and reliable component of automotive software development.

Place, publisher, year, edition, pages
AstaZero AB, 2025. p. 74
Keywords
Automated Driving (AD); Advanced Driver Assistance Systems (ADAS); Validation & Verification (V&V); Virtual Testing; Simulation; Simulation Toolchains; Digital Twins; Credibility Assessment; Gap Analysis; Autonomous Vehicle Validation; Functional Safety; Scenario-Based Testing; Sim2Real Transfer; Sensor Fidelity; OpenDRIVE; OpenSCENARIO; Automotive Simulation; Proving Ground Testing; Automotive AI Testing
National Category
Transport Systems and Logistics Computer Vision and Learning Systems Robotics and automation Embedded Systems
Identifiers
urn:nbn:se:ri:diva-78263 (URN)
Projects
EVIDENT 1 - Enabling VIrtual valiDation & vErificatioN for ADAS and AD features
Funder
Vinnova, 2021-05043
Note

Vinnova 2021-05043

Available from: 2025-03-20 Created: 2025-03-20 Last updated: 2025-09-23Bibliographically approved
Svensson, K., Axelrod, D., Mohamad, M. & Wohlrab, R. (2025). Guidelines for Supporting Software Engineers in Developing Secure Web Applications. Paper presented at 25th International Conference on Product-Focused Software Process Improvement, PROFES 2024. Tartu, Finland. 2 December 2024through 4 December 2024. Lecture Notes in Computer Science, 15452 LNCS, 123-138
Open this publication in new window or tab >>Guidelines for Supporting Software Engineers in Developing Secure Web Applications
2025 (English)In: Lecture Notes in Computer Science, ISSN 0302-9743, E-ISSN 1611-3349, Vol. 15452 LNCS, p. 123-138Article in journal (Refereed) Published
Abstract [en]

As software applications get increasingly connected and complex, cybersecurity becomes more and more important to consider during development and evaluation. Software engineers need to be aware of various security threats and the countermeasures that can be taken to mitigate them. Currently, there is a lack of guidance for software engineers aiming to develop secure web applications. We conducted a design science research study, resulting in a set of guidelines to aid software engineers in developing secure web applications. The set of guidelines was constructed based on interview data with 10 industry practitioners. These guidelines were then evaluated using a survey with 28 respondents. Our results indicate that these proposed guidelines can be applied by software engineers to support the development and assessment of secure web applications in different stages of the software development lifecycle. 

Place, publisher, year, edition, pages
Springer Science and Business Media Deutschland GmbH, 2025
Keywords
Application programs; Computer aided software engineering; Computer software selection and evaluation; Cyber security; Design-science researches; Different stages; Guideline; Interview; Research studies; Security threats; Software applications; WEB application; Web applications; Life cycle
National Category
Electrical Engineering, Electronic Engineering, Information Engineering
Identifiers
urn:nbn:se:ri:diva-77996 (URN)10.1007/978-3-031-78386-9_9 (DOI)2-s2.0-85211925401 (Scopus ID)
Conference
25th International Conference on Product-Focused Software Process Improvement, PROFES 2024. Tartu, Finland. 2 December 2024through 4 December 2024
Note

This work was partially supported by the Wallenberg AI, Autonomous Systems and Software Program (WASP) funded by the Knut and Alice Wallenberg Foundation.9

Available from: 2025-02-27 Created: 2025-02-27 Last updated: 2025-09-23Bibliographically approved
Gultekin, F. M., Lilja, O., Khojah, R., Wohlrab, R., Damschen, M. & Mohamad, M. (2025). Leveraging Large Language Models for Cybersecurity Risk Assessment - A Case from Forestry Cyber-Physical Systems. In: Proceedings - 2025 40th IEEE/ACM International Conference on Automated Software Engineering Workshops, ASEW 2025: . Paper presented at 40th IEEE/ACM International Conference on Automated Software Engineering Workshops, ASEW 2025 (pp. 58-65). Institute of Electrical and Electronics Engineers (IEEE)
Open this publication in new window or tab >>Leveraging Large Language Models for Cybersecurity Risk Assessment - A Case from Forestry Cyber-Physical Systems
Show others...
2025 (English)In: Proceedings - 2025 40th IEEE/ACM International Conference on Automated Software Engineering Workshops, ASEW 2025, Institute of Electrical and Electronics Engineers (IEEE) , 2025, p. 58-65Conference paper, Published paper (Refereed)
Abstract [en]

In safety-critical software systems, cybersecurity activities become essential, with risk assessment being one of the most critical. In many software teams, cybersecurity experts are either entirely absent or represented by only a small number of specialists. As a result, the workload for these experts becomes high, and software engineers would need to conduct cybersecurity activities themselves. This creates a need for a tool to support cybersecurity experts and engineers in evaluating vulnerabilities and threats during the risk assessment process. This paper explores the potential of leveraging locally hosted large language models (LLMs) with retrieval-augmented generation to support cybersecurity risk assessment in the forestry domain while complying with data protection and privacy requirements that limit external data sharing. We performed a design science study involving 12 experts in interviews, interactive sessions, and a survey within a large-scale project. The results demonstrate that LLMs can assist cybersecurity experts by generating initial risk assessments, identifying threats, and providing redundancy checks. The results also highlight the necessity for human oversight to ensure accuracy and compliance. Despite trust concerns, experts were willing to utilize LLMs in specific evaluation and assistance roles, rather than solely relying on their generative capabilities. This study provides insights that encourage the use of LLMbased agents to support the risk assessment process of cyber-physical systems in safety-critical domains

Place, publisher, year, edition, pages
Institute of Electrical and Electronics Engineers (IEEE), 2025
Keywords
Cyber-Physical Systems, Cybersecurity, Large Language Models, Risk Assessment
National Category
Computer Sciences
Identifiers
urn:nbn:se:ri:diva-81340 (URN)10.1109/ASEW67777.2025.00021 (DOI)2-s2.0-105033704800 (Scopus ID)
Conference
40th IEEE/ACM International Conference on Automated Software Engineering Workshops, ASEW 2025
Available from: 2026-04-16 Created: 2026-04-16 Last updated: 2026-04-16Bibliographically approved
Khojah, R., Mohamad, M., Erlenhov, L., de Oliveira Neto, F. & Leitner, P. (2025). LLM Company Policies and Policy Implications in Software Organizations. IEEE Software
Open this publication in new window or tab >>LLM Company Policies and Policy Implications in Software Organizations
Show others...
2025 (English)In: IEEE Software, ISSN 0740-7459, E-ISSN 1937-4194Article in journal (Refereed) Published
Abstract [en]

The risks associated with adopting large language model (LLM) chatbots in software organizations highlight the need for clear policies. We examine how 11 companies create these policies and the factors that influence them, aiming to help managers safely integrate chatbots into development workflows.

Place, publisher, year, edition, pages
IEEE Computer Society, 2025
Keywords
Chatbots, Company policies, Development workflow, Language model, Policy implications, Software organization, Public policy
National Category
Computer Sciences Software Engineering
Identifiers
urn:nbn:se:ri:diva-79911 (URN)10.1109/MS.2025.3622039 (DOI)2-s2.0-105019790340 (Scopus ID)
Note

Article; Granskad

Available from: 2025-12-04 Created: 2025-12-04 Last updated: 2025-12-04Bibliographically approved
Damschen, M., Avula, R. R. & Mohamad, M. (2025). SAFE-COLOR: Color Fidelity Benchmarks and Thresholds for Safety-Critical Object Detection. In: : . Paper presented at IEEE Intelligent Vehicles Symposium (IV). Cluj-Napoca, Romania: IEEE
Open this publication in new window or tab >>SAFE-COLOR: Color Fidelity Benchmarks and Thresholds for Safety-Critical Object Detection
2025 (English)Conference paper, Published paper (Refereed)
Abstract [en]

Color fidelity is often overlooked in simulation-based validation for autonomous vehicles, yet even minor color mismatches can undermine the reliability of AI-driven perception systems. In this paper, we systematically examine how controlled deviations in color reproduction—quantified by \DeltaE{}—affect object detection accuracy across 32 variants of YOLO. Using a Macbeth ColorChecker, we derive calibrations for key color transforms (brightness, contrast, hue, gamma, saturation and color bias) and apply these to the COCO validation set. Our evaluations demonstrate that increasing \DeltaE{} yields significant drops in detection metrics, especially for safety-critical categories such as pedestrians and cyclists. Based on these findings, we propose \DeltaE{} thresholds that define acceptable color fidelity in camera simulations (e.g., \DeltaE{} $\leq 3$ for $\Delta$mAP $\leq 1\%$). Furthermore, we contribute these transformed datasets and scripts as a publicly available benchmark, enabling reproducible comparisons and guiding future research on color-based vulnerabilities in automated driving and other safety-critical domains.

Place, publisher, year, edition, pages
Cluj-Napoca, Romania: IEEE, 2025
Keywords
Color Fidelity, Object Detection, Autonomous Vehicles, Simulation-Based Validation, Safety-Critical Systems
National Category
Other Computer and Information Science
Identifiers
urn:nbn:se:ri:diva-78766 (URN)10.1109/IV64158.2025.11097755 (DOI)979-8-3315-3803-3 (ISBN)979-8-3315-3804-0 (ISBN)
Conference
IEEE Intelligent Vehicles Symposium (IV)
Funder
EU, Horizon Europe
Note

AGRARSENSE is supported by the Chips JU and its members, including top-up funding from Sweden, Czechia, Finland, Ireland, Italy, Latvia, Netherlands, Norway, Poland and Spain (Grant Agreement No. 101095835). 

Available from: 2025-08-29 Created: 2025-08-29 Last updated: 2025-09-23Bibliographically approved
Khojah, R., de Oliveira Neto, F., Mohamad, M. & Leitner, P. (2025). The Impact of Prompt Programming on Function-Level Code Generation. IEEE Transactions on Software Engineering, 51(8), 2381-2395
Open this publication in new window or tab >>The Impact of Prompt Programming on Function-Level Code Generation
2025 (English)In: IEEE Transactions on Software Engineering, ISSN 0098-5589, E-ISSN 1939-3520, Vol. 51, no 8, p. 2381-2395Article in journal (Refereed) Published
Abstract [en]

Large Language Models (LLMs) are increasingly used by software engineers for code generation. However, limitations of LLMs such as irrelevant or incorrect code have highlighted the need for prompt programming (or prompt engineering) where engineers apply specific prompt techniques (e.g., chain-of-thought or input-output examples) to improve the generated code. While some prompt techniques have been studied, the impact of different techniques — and their interactions — on code generation is still not fully understood. In this study, we introduce CodePromptEval, a dataset of 7072 prompts designed to evaluate five prompt techniques (few-shot, persona, chain-of-thought, function signature, list of packages) and their effect on the correctness, similarity, and quality of complete functions generated by three LLMs (GPT-4o, Llama3, and Mistral). Our findings show that while certain prompt techniques significantly influence the generated code, combining multiple techniques does not necessarily improve the outcome. Additionally, we observed a trade-off between correctness and quality when using prompt techniques. Our dataset and replication package enable future research on improving LLM-generated code and evaluating new prompt techniques.

Place, publisher, year, edition, pages
Institute of Electrical and Electronics Engineers Inc., 2025
Keywords
code generation, Large language models, prompt programming, Codes (symbols), Engineers, Software engineering, Code combining, Codegeneration, Complete functions, Function signatures, Functions level, Input-output, Language model, Replication packages, Trade off, Economic and social effects
National Category
Software Engineering
Identifiers
urn:nbn:se:ri:diva-79255 (URN)10.1109/TSE.2025.3587794 (DOI)2-s2.0-105010921678 (Scopus ID)
Note

Article; Granskad

Available from: 2025-12-02 Created: 2025-12-02 Last updated: 2025-12-02Bibliographically approved
Organisations
Identifiers
ORCID iD: ORCID iD iconorcid.org/0000-0002-3446-1265

Search in DiVA

Show all publications