Data-flow testing (DFT) is a family of testing strategies designed to verify the interactions
between each program variable's definition and its uses. Such a test objective of interest is …

Android, the# 1 mobile app framework, enforces the single-GUI-thread model, in which a
single UI thread manages GUI rendering and event dispatching. Due to this model, it is vital …

Virtual Prototypes (VPs) play a very important role to cope with the rising complexity in the
design flow of embedded devices. A VP is essentially an executable abstract model of the …

Abstract Model checking is a formal verification technique. It takes an exhaustively strategy
to check hardware circuits and network protocols against desired properties. Having been …

Established Internet of Things (IoT) platforms suffer from their inability to determine whether
an IoT app is secure or not. A security analysis system (SAS) is a protective shield against …

Working in a team for a limited period of time and to deliver a high quality product are some
of the skills students should gain during their studies at the university. Therefore universities …

The ability to generate test data is often a necessary prerequisite for automated software
testing. For the generated data to be fit for their intended purpose, the data usually have to …

Testing is the primary approach for detecting software defects. A major challenge faced by
testers lies in crafting efficient test suites, able to detect a maximum number of bugs with …

Message passing is the standard paradigm of programming in high-performance computing.
However, verifying Message Passing Interface (MPI) programs is challenging, due to the …

Program fuzzing---providing randomly constructed inputs to a computer program---has
proved to be a powerful way to uncover bugs, find security vulnerabilities, and generate test …