One way to increase software quality is testing. Generating test cases with a high level of
coverage may be neither a simple nor fast task and when the software suffers changes, it is …

The security of the Internet of Things (IoT) is becoming more important as it is used more
frequently and widely in our daily lives. Better security analysis tools are necessary for IoT …

Mutation analysis is extensively used for the comparison of state-based testing methods that
work from a finite state machine (FSM); In this thesis, we report on results from an …

Models are commonly used in software testing to select test suites. Application of mutation
testing at a model level can contribute to reliable and early assessment of the quality of the …

The testing exercises comprise designing test cases that are sequences of inputs, executing
the program with test cases, and examining the outcomes created by this execution. Model …

Testing plays an important role in the context of software migration as it is used to validate
and ensure functional equivalence as a key requirement. As developing new test cases of …

Mutation testing has been deemed an effective way to ensure Deep Learning (DL) software
quality. Due to the requirements of generating and executing mass mutants, mutation testing …

In this work we present a mechanism that allows finding errors in real-time systems due to
misinterpretations of temporal properties specified by a designer. Properties of such systems …

Mutation testing offers stronger test adequacy than conventional structural coverage metrics.
It employs mutants, which can mimic the real software faults, to measure the fault detection …

The Design by Contract technique allows developers to improve source code with contracts,
and testing using contracts helps to identify faults. However, the source code of the program …