检索结果-内蒙古大学图书馆

46th IEEE/ACM International Conference on software engineering, ICSE 2024

作者： Zhong, Wenkang Xu, Tongtong Li, Chuanyi Ge, Jidong Liu, Kui Bissyandé, Tegawendé F. Luo, Bin Ng, Vincent National Key Laboratory for Novel Software Technology Nanjing University Nanjing China Huawei Software Engineering Application Technology Lab Hangzhou China University of Luxembourg Luxembourg Human Language Technology Research Institute University of Texas at Dallas RichardsonTX United States

ISBN: (纸本)9798400702174

To date, over 40 Automated Program Repair (APR) tools have been designed with varying bug-fixing strategies, which have been demonstrated to have complementary performance in terms of being effective for different bug classes. Intuitively, it should be feasible to improve the overall bug-fixing performance of APR via assembling existing tools. Unfortunately, simply invoking all available APR tools for a given bug can result in unacceptable costs on APR execution as well as on patch validation (via expensive testing). Therefore, while assembling existing tools is appealing, it requires an efficient strategy to reconcile the need to fix more bugs and the requirements for practicality. In light of this problem, we propose a Preference-based Ensemble Program Repair framework (P-EPR), which seeks to effectively rank APR tools for repairing different bugs. P-EPR is the first non-learning-based APR ensemble method that is novel in its exploitation of repair patterns as a major source of knowledge for ranking APR tools and its reliance on a dynamic update strategy that enables it to immediately exploit and benefit from newly derived repair results. Experimental results show that P-EPR outperforms existing strategies significantly both in flexibility and effectiveness. © 2024 IEEE Computer Society. All rights reserved.

关键词： Well testing

来源：评论

学校读者我要写书评

暂无评论

Green Federated Learning over Cloud-RAN with Limited Fronthaul and Quantized Neural Networks 3

Green Federated Learning over Cloud-RAN with Limited Frontha...

引用

3rd IEEE International Mediterranean Conference on Communications and Networking, MeditCom 2023

作者： Wang, Jiali Mao, Yijie Wang, Ting Shi, Yuanming Shanghai Key Lab. of Trustworthy Computing East China Normal University MoE Engineering Research Center of Software/Hardware Co-Design Technology and Application China China

ISBN: (纸本)9798350333732

In this paper, we investigate a green federated learning (FL) framework over cloud radio access network (Cloud-RAN) system that comprises a server, multiple devices and remote radio heads (RRHs). Each device utilizes quantized neural networks (QNNs) and sends quantized model parameters to the server to save energy consumption via RRHs. The server aggregates all the signals to update the global model parameters and broadcasts the updated parameters to the selected devices. In this context, we propose an energy consumption model for the QNN training and communication model over Cloud-RAN. We develop an energy minimization problem based on the proposed energy model. We jointly design fronthaul rate allocation, device transmit power, and precision level of QNNs while ensuring target accuracy, transmit power budget and limited fronthaul capacity. Guided by the convergence analysis, we adopt alternative optimization method to solve the energy minimization problem. The simulation outcomes demonstrate that the FL framework suggested can considerably diminish energy usage in comparison to other traditional methods. This has immense potential in realizing a sustainable and eco-friendly FL over Cloud-RAN. © 2023 IEEE.

关键词： Radio access networks

来源：评论

学校读者我要写书评

暂无评论

An approach for discovering user similarity in social networks based on the Bayesian network and MapReduce 1

An approach for discovering user similarity in social networ...

引用

2014 1st IEEE International Conference on Behavioral, Economic, Socio-Cultural Computing, BESC 2014

作者： Xu, Juan Yue, Kun Li, Jin Wang, Feng Liu, Weiyi School of Information Science and Engineering Yunnan University Kunming China School of Software Yunnan University Kunming China Yunnan Computer Technology Application Key Lab Kunming University of Science and Technology Kunming China

ISBN: (纸本)9781479969807

Adopting Bayesian network (BN) as the effective framework for representing and inferring dependencies and uncertainties among variables, in this paper, we established a BN-based model to discover user similarities in social networks. First, we built a BN to describe the direct similarity relationships between users, called social user BN and abbreviated as SUBN. Second, we proposed a distributed storage method based on Hbase to store the SUBN and support the efficient probabilistic inferences. Consequently, we proposed a SUBN-based method to find indirect similarity relationships between users. Experimental results show the efficiency and accuracy of our method. © 2014 IEEE.

关键词： MapReduce

来源：评论

学校读者我要写书评

暂无评论

STeC: A location-triggered specification language for real-time systems

STeC: A location-triggered specification language for real-t...

引用

作者： Chen, Yixiang MoE Engineering Research Center for Software/Hardware Co-design Technology and Application Shanghai Key Lab. for Trustworthy Computing East China Normal University Shanghai 200062 China

ISBN: (纸本)9780769546698

Internet of Things (IoT) or Cyber-Physical Systems (CPS) is a new trend of real-time systems in the area of information technology. This paper introduces a spatiotemporal consistence language for real-time systems (Shortly, STeC). The consistence requires that a process do its tasks at the required location or time. Thus, this language provides a location-triggered specification for real-time systems. The interaction between real-time agents deals with agent2agent communications. STeC looks like an extension of precess algebra CSP. But, the execution-time of actions and status of agents are stressed. Two kinds of interrupts time and interaction break are considered. Following the Dijkstra's guard style, nondeterministic choice phase guarded by communications is introduced. After setting up the syntax, its operational semantics is introduced. As an example, the railroad crossing problem is specified in terms of this language STeC. © 2012 IEEE.

关键词： Specification languages

来源：评论

学校读者我要写书评

暂无评论

Fast Point-to-Surface Projection for Large CAD Models and Quality Testing 3

Fast Point-to-Surface Projection for Large CAD Models and Qu...

引用

3rd International Conference on Optics and Image Processing, ICOIP 2023

作者： Liu, Wu Bao, Ziheng Yang, Chunhui Liu, Yusheng Wu, Lei Fifth Electronic Research Institute of Ministry of Industry and Information Technology MIIT Key Lab of Industrial Software Engineering Application Technology Guangzhou510610 China State Key Lab of CAD&CG Zhejiang University Hangzhou310027 China

ISBN: (纸本)9781510667426

Point projection for Non-Uniform Rational B-Splines (NURBS) surfaces is a fundamental operator in Computer-Aided modeling (CAD) modeling. This operator takes as input a query point and a NURBS surface in 3, and outputs the UV parameter values whose corresponding 3D point (one on the surface) has the minimum distance between the query point and a variable point on the surface. Existing projection methods consistently employ an iterative searching strategy, which suffers from efficiency issues, especially for tasks involving enormous query points such as 3D CAD model quality testing. This paper proposes a parallel, subdivision-based strategy to increase query speed. It uses geometric subdivision to quickly cull out potential parameter regions where a query point’s corresponding UV parameters reside, then utilizes the Gauss-Newton method to quickly march to the precise UV values. All steps are done completely on GPU: the geometric subdivision is shared across all query points, and the Gauss-Newton marching is done in parallel as well. Experimental results show that a significant increase of at least 11x can be attained using the proposed method. © 2023 SPIE. All rights reserved.

关键词： 3D modeling

来源：评论

学校读者我要写书评

暂无评论

SuperDetector: A Framework for Performance Detection on Vulnerabilities of Smart Contracts 6

SuperDetector: A Framework for Performance Detection on Vuln...

引用

2022 6th International Conference on Data Mining, Communications and Information technology, DMCIT 2022

作者： Dai, Meiyi Yang, Zhe Guo, Jian Software/Hardware Co-design Technology and Application Engineering Research Center East China Normal University China Shanghai Key Lab for Trustworthy Computing East China Normal University China

The technology of Ethereum blockchain enables the implementation of smart contracts. Nowadays smart contracts are one of the most successful applications of blockchain technology, which are widely used in many fields, such as finance, energy and services. The decentralization and immutability properties of Ethereum blockchain provide security for transactions from smart contracts. However, these properties are possible to lead to unfixable vulnerabilities of smart contracts. In recent years, vulnerability detection on smart contracts has attracted more attention from researchers and many related tools have emerged. Nevertheless, the existing vulnerability detection tools have not yet been put into formal use. Due to the lack of suitable smart contract sets and fair metrics with other factors, it remains complex work to conduct authoritative performance tests on these tools. In this paper, we first summarize eight common vulnerabilities of smart contracts, and then divide them into call-related and call-irrelated vulnerabilities according to whether they involve caller functions or not. In addition, we propose a detection framework called SuperDetector, which combines a variety of vulnerability detection tools based on static analysis technology. And the framework mainly measures the detection performance, which contains vulnerability coverage, detection accuracy, usability and execution time on the two types of vulnerabilities. The results indicate that the framework can analyze the performance from different perspectives, and the performance of vulnerability coverage and detection accuracy on call-related vulnerabilities is much better than that on call-irrelated vulnerabilities. Finally, we design a selector based on the detection results in the framework for improving the vulnerability coverage and detection accuracy. © Published under licence by IOP Publishing Ltd.

关键词： Smart contract

来源：评论

学校读者我要写书评

暂无评论

TDSC: A two-phase duplicate string compression algorithm

TDSC: A two-phase duplicate string compression algorithm

引用

SenDe, IDP, IEKB, MBC, International Workshops, APWeb 2012

作者： Yang, Zhuoluo You, Jinguo Zhou, Min School of Information Engineering and Automation Kunming University of Science and Technology Kunming Yunnan China Yunnan Computer Technology Application Key Lab Kunming University of Science and Technology Kunming Yunnan China Software Technology Limited Company Hangzhou Zhejiang China

ISBN: (纸本)9783642294259

Due to current real-time data compression algorithms is not efficient enough, we have proposed a two-phase real-time data compression algorithm which can be very fast in data compression with high compression rate. The algorithm can adapt to both text and binary files. The first phase compresses the file with long common strings into short forms. The second phase compresses the result of the first phase with short bytes in common into the final results. We name the algorithm TDSC Algorithm. © 2012 Springer-Verlag Berlin Heidelberg.

关键词： Data compression

来源：评论

学校读者我要写书评

暂无评论

Predicting Patch Correctness Based on the Similarity of Failing Test Cases

arXiv

引用

arXiv 2021年

作者： Tian, Haoye Li, Yinghua Pian, Weiguo Kaboré, Abdoul Kader Liu, Kui Habib, Andrew Klein, Jacques Bissyandé, Tegawendé F. University of Luxembourg Luxembourg Software Engineering Application Technology Lab Huawei China

How do we know a generated patch is correct? This is a key challenging question that automated program repair (APR) systems struggle to address given the incompleteness of available test suites. Our intuition is that we can triage correct patches by checking whether each generated patch implements code changes (i.e., behaviour) that are relevant to the bug it addresses. Such a bug is commonly specified by a failing test case. Towards predicting patch correctness in APR, we propose a novel yet simple hypothesis on how the link between the patch behaviour and failing test specifications can be drawn: similar failing test cases should require similar patches. We then propose BATS, an unsupervised learning-based approach to predict patch correctness by checking patch Behaviour Against failing Test Specification. BATS exploits deep representation learning models for code and patches: for a given failing test case, the yielded embedding is used to compute similarity metrics in the search for historical similar test cases to identify the associated applied patches, which are then used as a proxy for assessing the correctness of the APR-generated patches. Experimentally, we first validate our hypothesis by assessing whether ground-truth developer patches cluster together in the same way that their associated failing test cases are clustered. Then, after collecting a large dataset of 1,278 plausible patches (written by developers or generated by 32 APR tools), we use BATS to predict correct patches: BATS achieves AUC between 0.557 to 0.718 and recall between 0.562 and 0.854 in identifying correct patches. Our approach outperforms state-of-the-art techniques for identifying correct patches without the need for large labeled patch datasets;as is the case with machine learning-based approaches. While BATS is constrained by the availability of similar test cases, we show that it can still be complementary to existing approaches: when combined with a recent approach that relies o

关键词： Semantics

来源：评论

学校读者我要写书评

暂无评论

Model Checking Quantum Continuous-Time Markov Chains 32

Model Checking Quantum Continuous-Time Markov Chains

引用

32nd International Conference on Concurrency Theory, CONCUR 2021

作者： Xu, Ming Mei, Jingyi Guan, Ji Yu, Nengkun MoE Engineering Research Center of Software/Hardware Co-design Technology and Application Shanghai Key Lab of Trustworthy Computing East China Normal University Shanghai China Shanghai Key Lab of Trustworthy Computing East China Normal University Shanghai China State Key Lab of Computer Science Institute of Software Chinese Academy of Sciences Beijing China Centre for Quantum Software and Information Faculty of Engineering and Information Technology University of Technology Sydney Australia

ISBN: (纸本)9783959772037

Verifying quantum systems has attracted a lot of interests in the last decades. In this paper, we initialise the model checking of quantum continuous-time Markov chain (QCTMC). As a real-time system, we specify the temporal properties on QCTMC by signal temporal logic (STL). To effectively check the atomic propositions in STL, we develop a state-of-the-art real root isolation algorithm under Schanuel's conjecture;further, we check the general STL formula by interval operations with a bottom-up fashion, whose query complexity turns out to be linear in the size of the input formula by calling the real root isolation algorithm. A running example of an open quantum walk is provided to demonstrate our method. © Ming Xu, Jingyi Mei, Ji Guan, and Nengkun Yu;.

关键词： Model checking

来源：评论

学校读者我要写书评

暂无评论

PS3: Precise Patch Presence Test Based on Semantic Symbolic Signature 24

PS3: Precise Patch Presence Test Based on Semantic Symbolic ...

引用

44th ACM/IEEE International Conference on software engineering, ICSE 2024

作者： Zhan, Qi Hu, Xing Li, Zhiyang Xia, Xin Lo, David Li, Shanping Zhejiang University The State Key Laboratory of Blockchain and Data Security Hangzhou China Zhejiang University Hangzhou China Software Engineering Application Technology Lab Huawei China Singapore Management University Singapore

ISBN: (纸本)9798400702174

During software development, vulnerabilities have posed a significant threat to users. Patches are the most effective way to combat vulnerabilities. In a large-scale software system, testing the presence of a security patch in every affected binary is crucial to ensure system security. Identifying whether a binary has been patched for a known vulnerability is challenging, as there may only be small differences between patched and vulnerable versions. Existing approaches mainly focus on detecting patches that are compiled in the same compiler options. However, it is common for developers to compile programs with very different compiler options in different situations, which causes inaccuracy for existing methods. In this paper, we propose a new approach named PS3, referring to precise patch presence test based on semantic-level symbolic signature. PS3 exploits symbolic emulation to extract signatures that are stable under different compiler options. Then PS3 can precisely test the presence of the patch by comparing the signatures between the reference and the target at semantic level. To evaluate the effectiveness of our approach, we constructed a dataset consisting of 3,631 (CVE, binary) pairs of 62 recent CVEs in four C/C++ projects. The experimental results show that PS3 achieves scores of 0.82, 0.97, and 0.89 in terms of precision, recall, and F1 score, respectively. PS3 outperforms the state-of-the-art baselines by improving 33% in terms of F1 score and remains stable in different compiler options. © 2024 ACM.

关键词： software design

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：