中文
相关论文

相关论文: Jartege: a Tool for Random Generation of Unit Test…

200 篇论文

In this paper, we discuss a model of simple question-answer punning, implemented in a program, JAPE, which generates riddles from humour-independent lexical entries. The model uses two main types of structure: schemata, which determine the…

cmp-lg · 计算机科学 2008-02-03 Kim Binsted , Graeme Ritchie

Large Language Models (LLMs) have recently shown strong potential for automated unit test generation. This has motivated us to investigate whether developer-defined test doubles (commonly referred to as mocks) available in existing test…

软件工程 · 计算机科学 2026-04-22 Jamie Lee , Flynn Teh , Hengcheng Zhu , Mengzhen Li , Mattia Fazzini , Valerio Terragni

Natural Language Inference (NLI) tasks involving temporal inference remain challenging for pre-trained language models (LMs). Although various datasets have been created for this task, they primarily focus on English and do not address the…

计算与语言 · 计算机科学 2023-06-21 Tomoki Sugimoto , Yasumasa Onoe , Hitomi Yanaka

Continual learning has gained increasing importance as it facilitates the acquisition and refinement of scalable knowledge and skills in language models. However, existing methods typically encounter strict limitations and challenges in…

计算与语言 · 计算机科学 2024-04-12 Bohao Peng , Zhuotao Tian , Shu Liu , Mingchang Yang , Jiaya Jia

Unit testing is an essential component of software testing, with the assert statements playing an important role in determining whether the tested function operates as expected. Although research has explored automated test case generation,…

软件工程 · 计算机科学 2024-08-01 Han Wang , Han Hu , Chunyang Chen , Burak Turhan

Integrated development environments (IDEs) are prevalent code-writing and debugging tools. However, they have yet to be widely adopted for launching machine learning (ML) experiments. This work aims to fill this gap by introducing JetTrain,…

Topic models provide a flexible and principled framework for exploring hidden structure in high-dimensional co-occurrence data and are commonly used natural language processing (NLP) of text. In this paper, we design and implement a Java…

计算与语言 · 计算机科学 2020-10-29 Yang Qian , Yuanchun Jiang , Yidong Chai , Yezheng Liu , Jiansha Sun

This study delves into the application potential of the large language models (LLMs) ChatGLM in the automatic generation of structured questions for National Teacher Certification Exams (NTCE). Through meticulously designed prompt…

计算机与社会 · 计算机科学 2024-08-21 Ling He , Yanxin Chen , Xiaoqiang Hu

Ensemble methods are powerful machine learning algorithms that combine multiple models to enhance prediction capabilities and reduce generalization errors. However, their potential to generate effective test cases for fault detection in a…

软件工程 · 计算机科学 2024-09-10 Sheikh Md. Mushfiqur Rahman , Nasir U. Eisty

Testing of machine learning (ML) models is a known challenge identified by researchers and practitioners alike. Unfortunately, current practice for ML model testing prioritizes testing for model performance, while often neglecting the…

软件工程 · 计算机科学 2024-06-14 Rachel Brower-Sinning , Grace A. Lewis , Sebastían Echeverría , Ipek Ozkaya

Model-Driven Engineering (MDE) places models at the core of system and data engineering processes. In the context of research data, these models are typically expressed as schemas that define the structure and semantics of datasets.…

软件工程 · 计算机科学 2026-01-19 Felix Neubauer , Jürgen Pleiss , Benjamin Uekermann

This paper introduces PRIMETIME, a synthetic generator that supports both benchmarking and fine-tuning of two primitive operations underlying temporal reasoning in Large Language Models (LLMs): parsing and arithmetic on datetimes. Existing…

神经与进化计算 · 计算机科学 2026-05-08 Edward Gaere , Florian Wangenheim

We present JAttack, a framework that enables template-based testing for compilers. Using JAttack, a developer writes a template program that describes a set of programs to be generated and given as test inputs to a compiler. Such a…

编程语言 · 计算机科学 2022-09-13 Zhiqiang Zang , Nathan Wiatrek , Milos Gligoric , August Shi

As Large Language Models (LLMs) are deployed more widely, customization with respect to vocabulary, style, and character becomes more important. In this work, we introduce model arithmetic, a novel inference framework for composing and…

计算与语言 · 计算机科学 2024-03-07 Jasper Dekoninck , Marc Fischer , Luca Beurer-Kellner , Martin Vechev

Automatic assessment of code, in particular to support education, is an important feature included in several Learning Management Systems (LMS), at least to some extent. Several kinds of assessments can be designed, such as exercises asking…

软件工程 · 计算机科学 2019-11-28 Sébastien Combéfis , Guillaume de Moffarts

Generating tests automatically is a key and ongoing area of focus in software engineering research. The emergence of Large Language Models (LLMs) has opened up new opportunities, given their ability to perform a wide spectrum of tasks.…

软件工程 · 计算机科学 2025-01-20 Azat Abdullin , Pouria Derakhshanfar , Annibale Panichella

Recent advances in Large Language Model (LLM) based Generative AI techniques have made it feasible to translate enterprise-level code from legacy languages such as COBOL to modern languages such as Java or Python. While the results of…

Unit tests (UTs) play an instrumental role in assessing code correctness as well as providing feedback to large language models (LLMs), motivating automated test generation. However, we uncover a trade-off between generating unit test…

软件工程 · 计算机科学 2025-08-22 Archiki Prasad , Elias Stengel-Eskin , Justin Chih-Yao Chen , Zaid Khan , Mohit Bansal

Appropriate test case generation is critical in software testing, significantly impacting the quality of the testing. Requirements-Based Test Generation (RBTG) derives test cases from software requirements, aiming to verify whether or not…

软件工程 · 计算机科学 2025-12-09 Zhenzhen Yang , Chenhui Cui , Tao Li , Rubing Huang , Nan Niu , Dave Towey , Shikai Guo

In this paper, we present MELT-ML, a machine learning extension to the Matching and EvaLuation Toolkit (MELT) which facilitates the application of supervised learning for ontology and instance matching. Our contributions are twofold: We…

人工智能 · 计算机科学 2020-09-24 Sven Hertling , Jan Portisch , Heiko Paulheim