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 …

Testing advanced driver assistance systems using multi-objective search and neural networks

R Ben Abdessalem, S Nejati, LC Briand… - Proceedings of the 31st …, 2016 - dl.acm.org
Recent years have seen a proliferation of complex Advanced Driver Assistance Systems
(ADAS), in particular, for use in autonomous cars. These systems consist of sensors and …

[HTML][HTML] Machine learning-based test selection for simulation-based testing of self-driving cars software

C Birchler, S Khatiri, B Bosshard, A Gambi… - Empirical Software …, 2023 - Springer
Simulation platforms facilitate the development of emerging Cyber-Physical Systems (CPS)
like self-driving cars (SDC) because they are more efficient and less dangerous than field …

Self-adaptation in industry: A survey

D Weyns, I Gerostathopoulos, N Abbas… - ACM Transactions on …, 2023 - dl.acm.org
Computing systems form the backbone of many areas in our society, from manufacturing to
traffic control, healthcare, and financial systems. When software plays a vital role in the …

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 …

Search-based test case prioritization for simulation-based testing of cyber-physical system product lines

A Arrieta, S Wang, G Sagardui, L Etxeberria - Journal of Systems and …, 2019 - Elsevier
Abstract Cyber-Physical Systems (CPSs) integrate computation with physical processes.
These systems are usually highly configurable to address different customer needs and are …

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 …

Towards system-level testing with coverage guarantees for autonomous vehicles

I Majzik, O Semeráth, C Hajdu… - 2019 ACM/IEEE …, 2019 - ieeexplore.ieee.org
Since safety-critical autonomous vehicles need to interact with an immensely complex and
continuously changing environment, their assurance is a major challenge. While systems …

Pareto efficient multi-objective black-box test case selection for simulation-based testing

A Arrieta, S Wang, U Markiegi, A Arruabarrena… - Information and …, 2019 - Elsevier
Context: In many domains, engineers build simulation models (eg, Simulink) before
developing code to simulate the behavior of complex systems (eg, Cyber-Physical Systems) …

Automated misconfiguration repair of configurable cyber-physical systems with search: an industrial case study on elevator dispatching algorithms

P Valle, A Arrieta, M Arratibel - 2023 IEEE/ACM 45th …, 2023 - ieeexplore.ieee.org
Real-world Cyber-Physical Systems (CPSs) are usually configurable. Through parameters, it
is possible to configure, select or unselect different system functionalities. While this …