Static code analysis tools are being increasingly used to improve code quality. Such tools
can statically analyze the code to find bugs, security vulnerabilities, security spots …

Industrial robots are complex and customizable machines that can be programmed with
proprietary domain-specific languages. These languages provide not only movement …

The use of code quality control platforms for analysing source code is increasingly gaining
attention in the developer community. These platforms are prepared to parse and check …

Data science pipelines are a sequence of data processing steps that aim to derive
knowledge and insights from raw data. Data science pipeline tools simplify the creation and …

Test suite minimization ensures that an optimum set of test cases are selected to provide
maximum coverage of requirements. In this paper, we discuss and evaluate techniques for …

Industrial robots are widely used in industrial production as mechanical devices. It is
essential to guarantee that their control software operates safely and properly, as any …

Abstract Domain-specific languages (DSLs) have become increasingly popular for
addressing specific domain problems in industry and academia. However, implementing …

An automation task program is inspected for unsecure data flow. The task program is parsed
to generate a parse tree, which is visited to generate control flow graphs of functions of the …

In the last two decades, several studies have been carried out to translate Behavior Trees
(BTs) into other formal languages. However, as BTs are usually drawn directly from natural …

Static code analysis tools are being increasingly used to improve code quality. Such tools
can statically analyze the code to find bugs, security vulnerabilities, security spots …