This book constitutes the refereed proceedings of workshops, held at the 29th International Conference on Conceptual Modeling, ER 2010, in Vancouver, Canada, in November 2010. The 31 revised full papers presented were...
详细信息
ISBN:
(数字)9783642163852
ISBN:
(纸本)9783642163845
This book constitutes the refereed proceedings of workshops, held at the 29th International Conference on Conceptual Modeling, ER 2010, in Vancouver, Canada, in November 2010. The 31 revised full papers presented were carefully reviewed and selected from 82 submissions. The papers are organized in sections on the workshops Semantic and Conceptual Issues in GIS (SeCoGIS); Conceptual Modeling of Life Sciences Applications (CMLSA); Conceptual Modelling of Services (CMS); Active Conceptual Modeling of Learning (ACM-L); Web Information Systems Modeling (WISM); Domain Engineering (DE@ER); and Foundations and Practices of UML (FP-UML).
This book constitutes the refereed proceedings of the 5th IFIP TC 5, TC 12, WG 8.4, WG 8.9, WG 12.9 International Cross-Domain Conference, CD-MAKE 2021, held in virtually in August 2021.
ISBN:
(数字)9783030840600
ISBN:
(纸本)9783030840594
This book constitutes the refereed proceedings of the 5th IFIP TC 5, TC 12, WG 8.4, WG 8.9, WG 12.9 International Cross-Domain Conference, CD-MAKE 2021, held in virtually in August 2021.
Unit testing validates the correctness of the units of the software system under test and serves as the cornerstone in improving software quality and reliability. To reduce manual efforts in writing unit tests, some t...
详细信息
Unit testing validates the correctness of the units of the software system under test and serves as the cornerstone in improving software quality and reliability. To reduce manual efforts in writing unit tests, some techniques have been proposed to generate test assertions automatically, including deep learning (DL)-based, retrieval-based, and integration-based ones. Among them, recent integration-based approaches inherit from both DL-based and retrieval-based approaches and are considered state-of-the-art. Despite being promising, such integration-based approaches suffer from inherent limitations, such as retrieving assertions with lexical matching while ignoring meaningful code semantics, and generating assertions with a limited training *** this paper, we propose a novel Retrieval-Augmented Deep Assertion Generation approach, namely RetriGen, based on a hybrid assertion retriever and a pre-trained language model (PLM)-based assertion generator. Given a focal-test, RetriGen first builds a hybrid assertion retriever to search for the most relevant test-assert pair from external codebases. The retrieval process takes both lexical similarity and semantical similarity into account via a token-based and an embedding-based retriever, respectively. RetriGen then treats assertion generation as a sequence-to-sequence task and designs a PLM-based assertion generator to predict a correct assertion with historical test-assert pairs and the retrieved external assertion. Although our concept is general and can be adapted to various off-the-shelf encoder-decoder PLMs, we implement RetriGen to facilitate assertion generation based on the recent CodeT5 model. We conduct extensive experiments to evaluate RetriGen against six state-of-the-art approaches across two large-scale datasets and two metrics. The experimental results demonstrate that RetriGen achieves 57.66% and 73.24% in terms of accuracy and CodeBLEU, outperforming all baselines with an average improvement of 50.66%
This book presents selected research papers on current developments in the fields of soft computing and signal processing from the Seventh International Conference on Soft Computing and Signal Processing (ICSCSP 2024)...
详细信息
ISBN:
(数字)9789819609246
ISBN:
(纸本)9789819609239
This book presents selected research papers on current developments in the fields of soft computing and signal processing from the Seventh International Conference on Soft Computing and Signal Processing (ICSCSP 2024), organized by Malla Reddy College of Engineering & technology, Hyderabad, India. The book covers topics such as soft sets, rough sets, fuzzy logic, neural networks, genetic algorithms, and machine learning and discusses various aspects of these topics, e.g., technological considerations, product implementation, and application issues.
This book constitutes the refereed proceedings of the 17th International Conference on Principles and Practice of Multi-Agent Systems, PRIMA 2014, held in Gold Coast, QLD, Australia, in December 2014.;The conference w...
详细信息
ISBN:
(数字)9783319131917
ISBN:
(纸本)9783319131900
This book constitutes the refereed proceedings of the 17th International Conference on Principles and Practice of Multi-Agent Systems, PRIMA 2014, held in Gold Coast, QLD, Australia, in December 2014.;The conference was co-located with the 13th Pacific RIM International Conference on Artificial Intelligence, PRICAI 2014.;The 21 revised full papers presented together with 15 short papers were carefully reviewed and selected from 77 submissions. The papers are organized in topical sections on self organization and social networks/crowdsourcing; logic and argumentation; simulation and assurance; interaction and applications; norms, games and social choice; and metrics, optimisation, negotiation and learning.
Data warehousing and knowledge discovery are increasingly becoming mission-critical technologies for most organizations, both commercial and public, as it becomes incre- ingly important to derive important knowledge f...
详细信息
ISBN:
(数字)9783642037306
ISBN:
(纸本)9783642037290
Data warehousing and knowledge discovery are increasingly becoming mission-critical technologies for most organizations, both commercial and public, as it becomes incre- ingly important to derive important knowledge from both internal and external data sources. With the ever growing amount and complexity of the data and information available for decision making, the process of data integration, analysis, and knowledge discovery continues to meet new challenges, leading to a wealth of new and exciting research challenges within the area. Over the last decade, the International Conference on Data Warehousing and Knowledge Discovery (DaWaK) has established itself as one of the most important international scientific events within data warehousing and knowledge discovery. DaWaK brings together a wide range of researchers and practitioners working on these topics. The DaWaK conference series thus serves as a leading forum for discu- ing novel research results and experiences within data warehousing and knowledge th discovery. This year’s conference, the 11 International Conference on Data Wa- housing and Knowledge Discovery (DaWaK 2009), continued the tradition by d- seminating and discussing innovative models, methods, algorithms, and solutions to the challenges faced by data warehousing and knowledge discovery technologies.
暂无评论