Context: In the field of software engineering, the most complex and time consuming activity
is fault-finding. Due to increasing size and complexity of software, there is a necessity of …

We present a novel approach to synthesize complete models from Promela model sketches
by using of lifted (family-based) verification and analysis techniques for model families (aka …

The Differential Unit Tests Based Smart Industrial Automation Software Debugging Tool is a
new and powerful tool designed to make debugging industrial automation software easier …

Software accuracy and dependability become very important issues now-a-days. It is more
difficult to identify software program errors due to the growing size and complexity of …

In today's environment, a lot of emphasis is given on the global adoption of standard
practices for mobile application development. In the current research work, the standard …

The software has grown in complexity. More and more different libraries and programs are
used to create other ones. Consequently, the software presents more and more lines of …

In view of the inconvenience of parameter setting in the existing fault location method based
on deep neural network, this paper combines the global random search ability of Genetic …