Perceptions on the state of the art in verification and validation in cyber-physical systems
It is widely held that debugging cyber-physical systems (CPS) is challenging; many strongly
held beliefs exist regarding how CPS are currently debugged and tested and the suitability …
held beliefs exist regarding how CPS are currently debugged and tested and the suitability …
Mutation testing advances: an analysis and survey
Mutation testing realizes the idea of using artificial defects to support testing activities.
Mutation is typically used as a way to evaluate the adequacy of test suites, to guide the …
Mutation is typically used as a way to evaluate the adequacy of test suites, to guide the …
Random key predistribution schemes for sensor networks
Key establishment in sensor networks is a challenging problem because asymmetric key
cryptosystems are unsuitable for use in resource constrained sensor nodes, and also …
cryptosystems are unsuitable for use in resource constrained sensor nodes, and also …
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 …
that are independent units of functionality. Features tend to interact and impact one another's …
Approximation-refinement testing of compute-intensive cyber-physical models: An approach based on system identification
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 …
(CPS) since these models are not often amenable to static and symbolic testing and …
[HTML][HTML] On the relationship between similar requirements and similar software: A case study in the railway domain
Recommender systems for requirements are typically built on the assumption that similar
requirements can be used as proxies to retrieve similar software. When a stakeholder …
requirements can be used as proxies to retrieve similar software. When a stakeholder …
Test generation and test prioritization for simulink models with dynamic behavior
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 …
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
Abstract Cyber-Physical Systems (CPSs) integrate computation with physical processes.
These systems are usually highly configurable to address different customer needs and are …
These systems are usually highly configurable to address different customer needs and are …
Control strategies for self-adaptive software systems
The pervasiveness and growing complexity of software systems are challenging software
engineering to design systems that can adapt their behavior to withstand unpredictable …
engineering to design systems that can adapt their behavior to withstand unpredictable …
Generating automated and online test oracles for simulink models with continuous and uncertain behaviors
Test automation requires automated oracles to assess test outputs. For cyber physical
systems (CPS), oracles, in addition to be automated, should ensure some key objectives:(i) …
systems (CPS), oracles, in addition to be automated, should ensure some key objectives:(i) …