Exploratory analysis of multidimensional data sets is challenging because of the difficulty in
comprehending more than three dimensions. Two fundamental statistical principles for the …

In large-scale embedded system development, requirements are often expressed in natural
language. Translating these requirements to executable test cases, while keeping the test …

Passive testing continuously observes the system or system execution logs without any
interference or instrumentation to test diverse combinations of functions, resulting in a more …

Testing in the active sense is the most common way to perform verification and validation of
systems, but testing in the passive sense has one compelling property: independence …

This paper presents the SAGA toolbox. It centers around development of tests, and analysis
of test results, on Guarded Assertions (GA) format. Such a test defines when to test, and what …

An increasing share of the innovations emerging in the vehicular industry are implemented
in software. Consequently, vehicular electrical systems are becoming more and more …

Test cases that only observe the system under test can improve parallelism and detection of
faults occurring due to unanticipated feature interactions. Traditionally, such passive test …

Vehicular software systems control and monitor many safety-critical functions, such as
automated emergency brakes and anti-spin. These functions are integrated and tested at …

Test cases that only observe the system under test can improve parallelism and detection of
faults occurring due to unanticipated feature interactions. Traditionally, such passive test …

The first chapter of this thesis will cover the background to the problem of and motivation for
automating manual in-vehicle testing. This includes the context in which this report resides …