20 citations · 76 across the 16 of their papers we have counts for
7 papers · 1 filter
In the Driver's Seat: A Multi-Company Study on the Reality of Autonomous Driving System Testing
Qunying Song, Yuan Gao, Johannes Betz +3
Autonomous driving systems (ADS) are rapidly advancing and increasingly deployed in real-world applications. This creates growing demands for effective testing to ensure system fun…
Adaptive Behavioral Model Learning for Software Product Lines
Shaghayegh Tavassoli, Carlos Diego Nascimento Damasceno, Ramtin Khosravi +1
Behavioral models enable the analysis of the functionality of software product lines (SPL), e.g., model checking and model-based testing. Model learning aims at constructing behavi…
A Benchmark for Active Learning of Variability-Intensive Systems
Shaghayegh Tavassoli, Carlos Diego Nascimento Damasceno, Mohammad Reza Mousavi +1
Behavioral models are the key enablers for behavioral analysis of Software Product Lines (SPL), including testing and model checking. Active model learning comes to the rescue when…
Spinal Test Suites for Software Product Lines
Harsh Beohar, Mohammad Reza Mousavi
A major challenge in testing software product lines is efficiency. In particular, testing a product line should take less effort than testing each and every product individually. W…
Decomposability in Input Output Conformance Testing
Neda Noroozi, Mohammad Reza Mousavi, Tim A. C. Willemse
We study the problem of deriving a specification for a third-party component, based on the specification of the system and the environment in which the component is supposed to res…
Proceedings 10th International Workshop on the Foundations of Coordination Languages and Software Architectures
Mohammad Reza Mousavi, Antonio Ravara
Computation nowadays is becoming inherently concurrent, either because of characteristics of the hardware (with multicore processors becoming omnipresent) or due to the ubiquitous…