Combinatorial test case generation faces a problem on how to reduce the test cases by
uncover the unnecessary test cases. So, there is a need for expert applications or strategies …

The demand for multi-functional software has grown drastically over the years. To cater for
this demand, software engineers are forced to develop complex software with increasing …

With data-outsourcing becoming commonplace, there grows a need for secure outsourcing
of data and machine learning models. Namely, data and model owners (client) often have a …

SAT-based verification of electronic systems has become very popular in recent years. In
this paper, we show that SAT-techniques are also applicable and helpful during the …

T-way strategies aim to generate effective test data for detecting fault due to interaction.
Different levels of interaction possibilities have been considered as part of existing t-way …

Although desirable as an important activity for quality assurances and enhancing reliability,
complete and exhaustive software testing is prohibitively impossible due to resources as …

This paper discusses the practical adoption of t-way strategies (also termed interaction
testing) for interaction testing. Unlike earlier work, this paper also highlights and unifies the …

Various approaches to privacy-preserving machine learning (PPML) using Fully
Homomorphic Encryption (FHE) have been developed, focusing on secure data outsourcing …

This paper discusses the state of the art of applying combinatorial interaction testing (CIT) in
conjunction with mutation testing for hardware testing. In addition, the paper discusses the …

Combinatorial interaction testing (CIT) has been an active research area in the recent years.
CIT [1-7] is based on generating subset of exhaustive set according to the degree of …