Testing is the process of evaluating a system by manual or automated means. While
Regression Test Selection (RTS) discards test cases and Test Suite Minimization (TSM) …

Software testing encompasses a variety of activities along the software development
process and may consume a large part of the effort required for producing software. It …

Smart Home has gained widespread attention due to its flexible integration into everyday
life. Pervasive sensing technologies are used to recognize and track the activities that …

There has been a significant amount of interest regarding the use of DBTtsfull in software
testing over the past two decades. Diversity‐based testing (DBT) technique uses similarity …

Family-based behavioral analysis operates on a single specification artifact, referred to as
family model, annotated with feature constraints to express behavioral variability in terms of …

Access control (AC) is an important security mechanism used in software systems to restrict
access to sensitive resources. Therefore, it is essential to validate the correctness of AC …

When custom modeling tools are used for designing complex safety-critical systems (eg,
critical cyber-physical systems), the tools themselves need to be validated by systematic …

There has been a significant amount of interest regarding the use of diversity-based testing
techniques in software testing over the past two decades. Diversity-based testing (DBT) …

Context: Development and testing of access/usage control systems is a growing research
area. With new trends in software development such as DevOps, the development of …

The integration of computation, networking, and physical processes requires regular
exchange of critical information in timely and reliable fashion and a secure modeling and …