Software systems log massive amounts of data, recording important runtim...
With the increasing complexity and scope of software systems, their
depe...
In Machine Learning (ML)-enabled autonomous systems (MLASs), it is essen...
Models such as finite state automata are widely used to abstract the beh...
Deep Neural Networks (DNNs) have been widely used to perform real-world ...
Over recent decades, scenarios and scenario-based software/system engine...
Cyber-Physical Systems (CPS) continuously interact with their physical
e...
Behavioral software models play a key role in many software engineering
...
We distinguish two general modes of testing for Deep Neural Networks (DN...
The increasing levels of software- and data-intensive driving automation...
Automatically detecting the positions of key-points (e.g., facial key-po...
Model inference aims to extract accurate models from the execution logs ...
There is a growing body of research on developing testing techniques for...
Behavioral software models play a key role in many software engineering
...
We propose and empirically investigate a new test case prioritization
te...