Smart contracts with natural economic attributes have been widely and rapidly developed in various fields. However, the bugs vulnerabilities smart brought huge losses, which has strengthened people's attention to security issues of contracts. The immutability makes people more willing conduct checks before deploying Nonetheless, existing contract vulnerability detection techniques are far away from enough: static analysis approaches rely heavily on manually crafted heuristics is difficult...

Despite the capability in successfully fixing more and real-world bugs, existing Automated Program Repair (APR) techniques are still challenged by long-standing overfitting problem (i.e., a generated patch that passes all tests is actually incorrect). Plenty of approaches have been proposed for automated correctness assessment (APCA ). Nonetheless, dynamic ones those needed to execute tests) time-consuming while static built on top code features) less precise. Therefore, embedding recently,...

Test-based automated program repair (APR) has attracted huge attention from both industry and academia. Despite the significant progress made in recent studies, overfitting problem (i.e., generated patch is plausible but overfitting) still a major long-standing challenge. Therefore, plenty of techniques have been proposed to assess correctness patches either generation phase or evaluation APR techniques. However, effectiveness existing not systematically compared little known their...

Software is constantly changing, requiring developers to perform several derived tasks in a timely manner, such as writing description for the intention of code change, or identifying defect-prone changes. Considering that cost dealing with these can account large proportion (typically around 70 percent) total development expenditure, automating processes will significantly lighten burdens developers. To achieve target, existing approaches mainly rely on training deep learning models from...

The quality of method names is critical for the readability and maintainability source code. However, it often challenging to construct concise names. To alleviate this problem, a number approaches have been proposed automatically recommend high-quality methods. Despite being effective, existing meet their bottlenecks mainly in two aspects: (1) leveraged information restricted target itself; (2) lack distinctions towards contributions tokens extracted from different program contexts. Through...

Just-in-time comment update is a promising way to reduce the burden of developers during software maintenance and evolution. Existing approaches can be divided into two categories: heuristic-based approach deep-learning-based approach. The restricted specific type updates (i.e., code-indicative updates), but performs well on such type. effectiveness limited it handle diverse updates. Considering complementary advantages existing approaches, an intuitive idea combine them for better...

Code comments are key to program comprehension. When they not consistent with the code, maintenance is hindered. Yet developers often forget update along their code evolution. With recent advances in neural machine translation, research community contemplating novel approaches for automatically generating up-to-date following changes. CUP such an example state-of-the-art approach whose promising performance remains however be comprehensively assessed. Our study contributes literature by...

A longstanding dream in software engineering research is to devise effective approaches for automating development tasks based on developers' informally-specified intentions. Such intentions are generally the form of natural language descriptions. In recent literature, a number have been proposed automate such as code search and even generation inputs. While these vary terms technical designs, their objective same: transforming developer's intention into source code. The however, lacks...

Regression testing is a widely adopted approach to expose change-induced bugs as well verify the correctness/robustness of code in modern software development settings. Unfortunately, occurrence flaky tests leads significant increase cost regression and eventually reduces productivity developers (i.e., their ability find fix real problems). State-of-the-art approaches leverage dynamic test information obtained through expensive re-execution cases effectively identify tests. Towards...

Automatically transforming developers' natural language descriptions into source code has been a longstanding goal in software engineering research. Two types of approaches have proposed the literature to achieve this: generation, which involves generating new snippet, and search, reusing existing code. However, despite efforts, effectiveness state-of-the-art techniques remains limited. To seek for further advancement, our insight is that generation search can help overcome limitation each...

Docker containers are being widely used in large-scale industrial environments. In practice, developers must manually specify the base image dockerfile process of container creation. However, finding proper is a nontrivial task because searching time-consuming and easily leads to use unsuitable images, especially for newcomers. There still lack automatic approaches recommending related through configuration. To tackle this problem, paper makes first attempt propose neural network approach...

Despite its effectiveness in ensuring software quality, code review remains a labor-intensive and time-consuming task. In order to alleviate this burden on developers, researchers have proposed the automation of activities, particularly focusing automating revisions. This can benefit both authors, as they are relieved from manual task revision, reviewers, spared addressing minor flaws through comments. While current revision approaches shown promising results, typically operate within single...

Code search, which consists in retrieving relevant code snippets from a codebase based on given query, provides developers with useful references during software development. Over the years, techniques alternatively adopting different mechanisms to compute relevance score between query and snippet have been proposed advance state of art this domain, including those relying information retrieval, supervised learning, pre-training. Despite that, usefulness existing is still compromised since...

A super-resolution approach for direction of arrival (DOA) estimation is proposed in this paper. This can achieve the performance using only one snapshot. It deals with DOA problem on continuous bearing space rather than a discretization space, so it eliminate model mismatch and off-grid effect induced by spatial thus improves accuracy estimation. Moreover, we provide conditions that guarantee exact snapshot, including theoretical low-bound required number sensors minimum angle-distance...

The cooperative control of multiple Unmanned Aerial Vehicles (UAVs) has become an essential topic in recent years since it is the foundation numerous research fields, such as pursuit-evasion games. In these games, pursuers attempt to imprison evaders who are trying escape capture within constraints formulated by environment. this paper, we consider decentralized and partially observable multi-UAV game with static obstacles a bounded two-dimensional To solve pursuit problem UAVs, propose...

Automated Program Repair (APR) is becoming a hot topic in Software Engineering community with many approaches being proposed and experiments performed over the years. The results obtained from different can be used as practical guidance to advance APR techniques. However, researchers have generally ignored biases respect unexpected generated by various techniques, which case repair process cannot finished normally terminated exceptions (referred non-repairability factors). In this paper, we...

The CNNs have achieved excellent performance in pattern recognition and target detection, which a wide range of applications industrial control, medical imaging, autonomous driving, other fields. However, it is very inefficient to execute data-intensive CNN on edge devices with limited computing power resources. It necessary add domain-specific acceleration module the improve when performing intensive calculations. In this work, we present ISA extensions based RISC-V ISA, including data...