中文
相关论文

相关论文: Test suite effectiveness metric evaluation: what d…

200 篇论文

Chains of thought (CoTs) have become central in interpreting and auditing behaviors of large language models. Yet growing evidence suggests that these traces often fail to faithfully represent the computations behind a model's predictions.…

计算与语言 · 计算机科学 2026-05-26 Yoav Gur-Arieh , Ana Marasović , Mor Geva

The effectiveness of binary analysis tools and techniques is often measured with respect to how well they map to a ground truth. We have found that not all ground truths are created equal. This paper challenges the binary analysis community…

密码学与安全 · 计算机科学 2022-10-28 Jim Alves-Foss , Varsah Venugopal

Software performance changes are costly and often hard to detect pre-release. Similar to software testing frameworks, either application benchmarks or microbenchmarks can be integrated into quality assurance pipelines to detect performance…

性能 · 计算机科学 2022-12-20 Martin Grambow , Denis Kovalev , Christoph Laaber , Philipp Leitner , David Bermbach

Fault detection in sensor nodes is a pertinent issue that has been an important area of research for a very long time. But it is not explored much as yet in the context of Internet of Things. Internet of Things work with a massive amount of…

机器学习 · 计算机科学 2019-06-25 Nimisha Ghosh , Rourab Paul , Satyabrata Maity , Krishanu Maity , Sayantan Saha

Expert workers make non-trivial decisions with significant implications. Experts' decision accuracy is thus a fundamental aspect of their judgment quality, key to both management and consumers of experts' services. Yet, in many important…

机器学习 · 计算机科学 2021-10-25 Wanxue Dong , Maytal Saar-Tsechansky , Tomer Geva

Efficiency is a key property to foster inclusiveness and reduce environmental costs, especially in an era of LLMs. In this work, we provide a comprehensive evaluation of efficiency for MT evaluation metrics. Our approach involves replacing…

计算与语言 · 计算机科学 2023-11-01 Daniil Larionov , Jens Grünwald , Christoph Leiter , Steffen Eger

Large foundation models are fundamentally transforming the software engineering landscape, demonstrating exceptional capabilities across diverse tasks such as code generation, debugging, and testing. Despite this rapid progress, a…

软件工程 · 计算机科学 2025-10-21 Shuzheng Gao , Eric John Li , Man Ho Lam , Jingyu Xiao , Yuxuan Wan , Chaozheng Wang , Ng Man Tik , Michael R. Lyu

Recently, a new trend of exploring sparsity for accelerating neural network training has emerged, embracing the paradigm of training on the edge. This paper proposes a novel Memory-Economic Sparse Training (MEST) framework targeting for…

Test suites are inherently imperfect, and testers can always enrich a suite with new test cases that improve its quality and, consequently, the reliability of the target software system. However, finding test cases that explore execution…

软件工程 · 计算机科学 2026-01-27 Ketai Qiu , Luca Di Grazia , Leonardo Mariani , Mauro Pezzè

Machine Translation (MT) Quality Estimation (QE) assesses translation reliability without reference texts. This study introduces "textual similarity" as a new metric for QE, using sentence transformers and cosine similarity to measure…

计算与语言 · 计算机科学 2024-07-02 Kun Sun , Rong Wang

Introducing Entity-Aspect Sentiment Triplet Extraction (EASTE), a novel Aspect-Based Sentiment Analysis (ABSA) task which extends Target-Aspect-Sentiment Detection (TASD) by separating aspect categories (e.g., food#quality) into pre-defined…

计算与语言 · 计算机科学 2024-07-08 Vorakit Vorakitphan , Milos Basic , Guilhaume Leroy Meline

Incompleteness of a specification $\mathit{Spec}$ creates two problems. First, an implementation $\mathit{Impl}$ of $\mathit{Spec}$ may have some $\mathit{unwanted}$ properties that $\mathit{Spec}$ does not forbid. Second, $\mathit{Impl}$…

计算机科学中的逻辑 · 计算机科学 2020-04-22 Eugene Goldberg

Unit testing is one of the most established quality-assurance techniques for software development. One major advantage of unit testing is the adjustable trade-off between efficiency (i.e., testing effort) and effectiveness (i.e.,…

软件工程 · 计算机科学 2022-07-27 Sebastian Ruland , Malte Lochau

Factual consistency is an essential quality of text summarization models in practical settings. Existing work in evaluating this dimension can be broadly categorized into two lines of research, entailment-based and question answering…

计算与语言 · 计算机科学 2022-05-02 Alexander R. Fabbri , Chien-Sheng Wu , Wenhao Liu , Caiming Xiong

In this work, we perform an extensive investigation of two state-of-the-art (SotA) methods for the task of Entity Alignment in Knowledge Graphs. Therefore, we first carefully examine the benchmarking process and identify several…

计算与语言 · 计算机科学 2021-05-27 Max Berrendorf , Ludwig Wacker , Evgeniy Faerman

Target similarity tuning (TST) is a method of selecting relevant examples in natural language (NL) to code generation through large language models (LLMs) to improve performance. Its goal is to adapt a sentence embedding model to have the…

人工智能 · 计算机科学 2023-10-31 Anirudh Khatry , Sumit Gulwani , Priyanshu Gupta , Vu Le , Ananya Singha , Mukul Singh , Gust Verbruggen

Unit tests play a vital role in uncovering potential faults in software. While tools like EvoSuite focus on maximizing code coverage, recent advances in large language models (LLMs) have shifted attention toward LLM-based test generation.…

软件工程 · 计算机科学 2026-04-17 Guancheng Wang , Qinghua Xu , Lionel Briand , Kui Liu

Reliable evaluation is essential for understanding large language model (LLM) performance, yet today's go-to metrics, namely token-overlap scores (e.g., ROUGE) and embedding-based measures (e.g., BERTScore), often misjudge semantic…

计算与语言 · 计算机科学 2026-05-27 Siran Li , Ece Sena Etoglu , Carsten Eickhoff , Seyed Ali Bahrainian

Annually, at the Conference of Machine Translation (WMT), the Metrics Shared Task organizers conduct the meta-evaluation of Machine Translation (MT) metrics, ranking them according to their correlation with human judgments. Their results…

计算与语言 · 计算机科学 2024-08-27 Stefano Perrella , Lorenzo Proietti , Alessandro Scirè , Edoardo Barba , Roberto Navigli

Many tools have been created for measuring the agility of software teams, thus creating a saturation in the field. Three agile measurement tools were selected in order to validate whether they yield sim-ilar results. The surveys of the…

软件工程 · 计算机科学 2019-04-05 Konstantinos Chronis , Lucas Gren