Smart contracts are gaining popularity as a means to support transparent, traceable, and self-
executing decentralized applications, which enable the exchange of value in a trustless …

The source code of successful projects is evolving all the time, resulting in hundreds of
thousands of code changes stored in source code repositories. This wealth of data can be …

Equivalence checking is used to verify whether two programs produce equivalent outputs
when given equivalent inputs. Research in this field mainly focused on improving …

Automatic static analysis tools (ASATs) detect source code violations to static analysis rules
and are usually used as a guard for source code quality. The adoption of ASATs, however, is …

Managing large and fast-evolving software systems can be a challenging task. Numerous
solutions have been developed to assist in this process, enhancing software quality and …

Model management frameworks support a wide array of analyses, transformations, and
workflows, but lack native support for handling product lines of models. Yet the ubiquity of …

This paper presents Squid, a new conjunctive query synthesis algorithm for searching code
with target patterns. Given positive and negative examples along with a natural language …

Many techniques have been proposed to mine knowledge from software artefacts and solve
software evolution management tasks. To promote effective reusing of those knowledge, we …

Software systems evolve continuously during their lifecycle. Developers incrementally
introduce new features and fix bugs during the process, leading to lots of changes and …

Software evolution involves the growth and adaptation of software throughout its lifecycle,
including bug fixes, security patches, new programming language features, and user-driven …