Automotive software engineering: A systematic mapping study

A Haghighatkhah, A Banijamali, OP Pakanen… - Journal of Systems and …, 2017 - Elsevier
The automotive industry is going through a fundamental change by moving from a
mechanical to a software-intensive industry in which most innovation and competition rely …

Testing autonomous cars for feature interaction failures using many-objective search

RB Abdessalem, A Panichella, S Nejati… - Proceedings of the 33rd …, 2018 - dl.acm.org
Complex systems such as autonomous cars are typically built as a composition of features
that are independent units of functionality. Features tend to interact and impact one another's …

Coupling soft computing, simulation and optimization in supply chain applications: review and taxonomy

H El Raoui, M Oudani, AEH Alaoui - IEEE Access, 2020 - ieeexplore.ieee.org
Supply chain networks are typical examples of complex systems. Thereby, making decisions
in such systems remains a very hard issue. To assist decision makers in formulating the …

Approximation-refinement testing of compute-intensive cyber-physical models: An approach based on system identification

C Menghi, S Nejati, L Briand, YI Parache - Proceedings of the ACM/IEEE …, 2020 - dl.acm.org
Black-box testing has been extensively applied to test models of Cyber-Physical systems
(CPS) since these models are not often amenable to static and symbolic testing and …

Experience paper: Search-based testing in automated driving control applications

C Gladisch, T Heinz, C Heinzemann… - 2019 34th IEEE/ACM …, 2019 - ieeexplore.ieee.org
Automated test generation and evaluation in simulation environments is a key technology for
verification of automated driving (AD) applications. Search-based testing (SBT) is an …

Test generation and test prioritization for simulink models with dynamic behavior

R Matinnejad, S Nejati, LC Briand… - IEEE Transactions on …, 2018 - ieeexplore.ieee.org
All engineering disciplines are founded and rely on models, although they may differ on
purposes and usages of modeling. Among the different disciplines, the engineering of Cyber …

Review on testing of cyber physical systems: Methods and testbeds

X Zhou, X Gou, T Huang, S Yang - IEEE Access, 2018 - ieeexplore.ieee.org
Cyber physical systems (CPSs) are rapidly developing, with increasing scale, complexity,
and heterogeneity. However, testing CPSs systematically to ensure that they operate with …

Some seeds are strong: Seeding strategies for search-based test case selection

A Arrieta, P Valle, JA Agirre, G Sagardui - ACM Transactions on Software …, 2023 - dl.acm.org
The time it takes software systems to be tested is usually long. Search-based test selection
has been a widely investigated technique to optimize the testing process. In this article, we …

[HTML][HTML] Trust your neighbours: Handling noise in multi-objective optimisation using kNN-averaging

S Klikovits, CH Thanh, A Cetinkaya, P Arcaini - Applied Soft Computing, 2023 - Elsevier
Multi-objective optimisation (MOO) is a popular approach for finding solutions to many types
of complex problems with large search spaces and conflicting search objectives. In the past …

Testing the untestable: model testing of complex software-intensive systems

L Briand, S Nejati, M Sabetzadeh… - Proceedings of the 38th …, 2016 - dl.acm.org
Increasingly, we are faced with systems that are untestable, meaning that traditional testing
methods are expensive, time-consuming or infeasible to apply due to factors such as the …