What we know about testing embedded software
V Garousi, M Felderer, ÇM Karapıçak… - IEEE Software, 2018 - ieeexplore.ieee.org
To cost-effectively test embedded software, practitioners and researchers have proposed
many test techniques, approaches, tools, and frameworks. However, obtaining an overview …
many test techniques, approaches, tools, and frameworks. However, obtaining an overview …
What we know about smells in software test code
V Garousi, B Kucuk, M Felderer - IEEE Software, 2018 - ieeexplore.ieee.org
What We Know About Smells in Software Test Code Page 1 0740-7459/19©2019IEEE MAY/JUNE
2019 | IEEE SOFTWARE 61 FEATURE: TEST SMELLS SOFTWARE TESTING IS con- ducted …
2019 | IEEE SOFTWARE 61 FEATURE: TEST SMELLS SOFTWARE TESTING IS con- ducted …
Integration of learning-based testing and supervisory control for requirements conformance of black-box reactive systems
A fundamental requirement of the supervisory control theory (SCT) of discrete-event systems
is a finite automaton model of the plant. The requirement does not hold for black-box …
is a finite automaton model of the plant. The requirement does not hold for black-box …
A cyber security evaluation framework for in-vehicle electrical control units
H Zhang, Y Pan, Z Lu, J Wang, Z Liu - IEEE Access, 2021 - ieeexplore.ieee.org
Modern vehicles are equipped with more than 100 Electrical Control Units (ECUs) with over
2500 signals to transmit internally. The application of advanced electronics and …
2500 signals to transmit internally. The application of advanced electronics and …
Towards a systematic security evaluation of the automotive Bluetooth interface
The modern vehicle requires connectivity in order to enable and enhance comfort and
convenience features so desired by customers. This connectivity however also allows the …
convenience features so desired by customers. This connectivity however also allows the …
Survey of model-based security testing approaches in the automotive domain
Modern connected or autonomous vehicles (AVs) are highly complex cyber-physical
systems. As a result of the high number of different technologies and connectivity features …
systems. As a result of the high number of different technologies and connectivity features …
Systematic mapping study on MBT: tools and models
Every year several contributions to the model‐based testing (MBT) field are published.
Therefore, to follow the evolution and trends of several tools and models available is difficult …
Therefore, to follow the evolution and trends of several tools and models available is difficult …
A model-based test script generation framework for embedded software
The abstract test cases generated through model-based testing (MBT) need to be
concretized to make them executable on the software under test (SUT). Multiple re …
concretized to make them executable on the software under test (SUT). Multiple re …
Towards a verification-driven iterative development of software for safety-critical cyber-physical systems
Software systems are complicated, and the scientific and engineering methodologies for
software development are relatively young. Cyber-physical systems are now in every corner …
software development are relatively young. Cyber-physical systems are now in every corner …
Enabling Blended Modelling of Timing and Variability in EAST-ADL
EAST-ADL is a domain-specific modelling language for the design and analysis of vehicular
embedded systems. Seamless modelling through multiple concrete syntaxes for the same …
embedded systems. Seamless modelling through multiple concrete syntaxes for the same …