English
Related papers

Related papers: A Benchmark Generator for Combinatorial Testing

200 papers

The integration of generative AI tools like ChatGPT into software engineering workflows opens up new opportunities to boost productivity in tasks such as unit test engineering. However, these AI-assisted workflows can also significantly…

Software Engineering · Computer Science 2025-10-14 Baris Ardic , Quentin Le Dilavrec , Andy Zaidman

Software Testing is a well-established area in software engineering, encompassing various techniques and methodologies to ensure the quality and reliability of software systems. However, with the advent of generative artificial intelligence…

Software Engineering · Computer Science 2023-09-18 Aldeida Aleti

Randomized benchmarking is a promising tool for characterizing the noise in experimental implementations of quantum systems. In this paper, we prove that the estimates produced by randomized benchmarking (both standard and interleaved) for…

Quantum Physics · Physics 2015-12-18 Joel J. Wallman , Steven T. Flammia

Solving problems through tool use under explicit constraints constitutes a highly challenging yet unavoidable scenario for large language models (LLMs), requiring capabilities such as function calling, instruction following, and…

Computation and Language · Computer Science 2026-03-17 Junjie Ye , Guoqiang Zhang , Wenjie Fu , Tao Gui , Qi Zhang , Xuanjing Huang

Research on self-evolving language agents has accelerated, drawing increasing attention to their ability to create, adapt, and maintain tools from task requirements. However, existing benchmarks predominantly rely on predefined…

Software Engineering · Computer Science 2026-03-09 Bowei Xia , Mengkang Hu , Shijian Wang , Jiarui Jin , Wenxiang Jiao , Yuan Lu , Kexin Li , Ping Luo

In this paper, we describe compare-mt, a tool for holistic analysis and comparison of the results of systems for language generation tasks such as machine translation. The main goal of the tool is to give the user a high-level and coherent…

Computation and Language · Computer Science 2019-09-20 Graham Neubig , Zi-Yi Dou , Junjie Hu , Paul Michel , Danish Pruthi , Xinyi Wang , John Wieting

When it comes to industrial organizations, current collaboration efforts in software engineering research are very often kept in-house, depriving these organizations off the skills necessary to build independent collaborative research. The…

Software Engineering · Computer Science 2015-03-11 Eduard Paul Enoiu , Adnan Causevic

Neuromorphic computing shows promise for advancing computing efficiency and capabilities of AI applications using brain-inspired principles. However, the neuromorphic research field currently lacks standardized benchmarks, making it…

Artificial Intelligence · Computer Science 2025-01-16 Jason Yik , Korneel Van den Berghe , Douwe den Blanken , Younes Bouhadjar , Maxime Fabre , Paul Hueber , Weijie Ke , Mina A Khoei , Denis Kleyko , Noah Pacik-Nelson , Alessandro Pierro , Philipp Stratmann , Pao-Sheng Vincent Sun , Guangzhi Tang , Shenqi Wang , Biyan Zhou , Soikat Hasan Ahmed , George Vathakkattil Joseph , Benedetto Leto , Aurora Micheli , Anurag Kumar Mishra , Gregor Lenz , Tao Sun , Zergham Ahmed , Mahmoud Akl , Brian Anderson , Andreas G. Andreou , Chiara Bartolozzi , Arindam Basu , Petrut Bogdan , Sander Bohte , Sonia Buckley , Gert Cauwenberghs , Elisabetta Chicca , Federico Corradi , Guido de Croon , Andreea Danielescu , Anurag Daram , Mike Davies , Yigit Demirag , Jason Eshraghian , Tobias Fischer , Jeremy Forest , Vittorio Fra , Steve Furber , P. Michael Furlong , William Gilpin , Aditya Gilra , Hector A. Gonzalez , Giacomo Indiveri , Siddharth Joshi , Vedant Karia , Lyes Khacef , James C. Knight , Laura Kriener , Rajkumar Kubendran , Dhireesha Kudithipudi , Shih-Chii Liu , Yao-Hong Liu , Haoyuan Ma , Rajit Manohar , Josep Maria Margarit-Taulé , Christian Mayr , Konstantinos Michmizos , Dylan R. Muir , Emre Neftci , Thomas Nowotny , Fabrizio Ottati , Ayca Ozcelikkale , Priyadarshini Panda , Jongkil Park , Melika Payvand , Christian Pehle , Mihai A. Petrovici , Christoph Posch , Alpha Renner , Yulia Sandamirskaya , Clemens JS Schaefer , André van Schaik , Johannes Schemmel , Samuel Schmidgall , Catherine Schuman , Jae-sun Seo , Sadique Sheik , Sumit Bam Shrestha , Manolis Sifalakis , Amos Sironi , Kenneth Stewart , Matthew Stewart , Terrence C. Stewart , Jonathan Timcheck , Nergis Tömen , Gianvito Urgese , Marian Verhelst , Craig M. Vineyard , Bernhard Vogginger , Amirreza Yousefzadeh , Fatima Tuz Zohora , Charlotte Frenkel , Vijay Janapa Reddi

How many times have you tried to re-implement a past CAV tool paper, and failed? Reliably reproducing published scientific discoveries has been acknowledged as a barrier to scientific progress for some time but there remains only a small…

Logic in Computer Science · Computer Science 2015-02-10 Tom Crick , Benjamin A. Hall , Samin Ishtiaq

Graph learning algorithms have attained state-of-the-art performance on many graph analysis tasks such as node classification, link prediction, and clustering. It has, however, become hard to track the field's burgeoning progress. One…

Machine Learning · Computer Science 2022-04-05 Anton Tsitsulin , Benedek Rozemberczki , John Palowitch , Bryan Perozzi

With the rapid advancement of information technology, the complexity of applications continues to increase, and the cybersecurity challenges we face are also escalating. This paper aims to investigate the methods and practices of system…

Cryptography and Security · Computer Science 2026-02-02 Chunyi Zhang , Jin Zeng , Xiaoqi Li

Realizing large-scale quantum advantage is expected to require quantum error correction (QEC), making the compilation and optimization of logical operations a critical area of research. Logical computation imposes distinct constraints and…

Application-specific quantum computers offer the most efficient means to tackle problems intractable by classical computers. Realizing these architectures necessitates a deep understanding of quantum circuit properties and their…

Recent advancements in large language models, including GPT-4 and its variants, and Generative AI-assisted coding tools like GitHub Copilot, ChatGPT, and Tabnine, have significantly transformed software development. This paper analyzes how…

Software Engineering · Computer Science 2024-11-05 Vijay Joshi , Iver Band

In the generative AI era, where even critical medical tasks are increasingly automated, radiology report generation (RRG) continues to rely on suboptimal metrics for quality assessment. Developing domain-specific metrics has therefore been…

Computation and Language · Computer Science 2026-01-19 Vanshali Sharma , Andrea Mia Bejar , Gorkem Durak , Ulas Bagci

In the context of cluster analysis and graph partitioning, many external evaluation measures have been proposed in the literature to compare two partitions of the same set. This makes the task of selecting the most appropriate measure for a…

Machine Learning · Computer Science 2021-02-09 Nejat Arinik , Vincent Labatut , Rosa Figueiredo

This paper presents Global Benchmark Database (GBD), a comprehensive suite of tools for provisioning and sustainably maintaining benchmark instances and their metadata. The availability of benchmark metadata is essential for many tasks in…

Databases · Computer Science 2026-01-15 Ashlin Iser , Christoph Jabs

Automated and therefore repeatable tests are important in product lines to ensure and maintain quality of software functions as well as efficiency of the developers. This article shows methods for fully automated testing of SIMULINK models…

Software Engineering · Computer Science 2014-09-24 Alexej Beresnev , Bernhard Rumpe , Frank Schoven

Recent advancements in generative machine learning have enabled rapid progress in biological design tools (BDTs) such as protein structure and sequence prediction models. The unprecedented predictive accuracy and novel design capabilities…

Computers and Society · Computer Science 2023-12-01 Richard Moulange , Max Langenkamp , Tessa Alexanian , Samuel Curtis , Morgan Livingston

Randomized benchmarking is a widely used experimental technique to characterize the average error of quantum operations. Benchmarking procedures that scale to enable characterization of $n$-qubit circuits rely on efficient procedures for…

Quantum Physics · Physics 2016-05-20 Andrew W. Cross , Easwar Magesan , Lev S. Bishop , John A. Smolin , Jay M. Gambetta