中文
相关论文

相关论文: Automatic Unit Test Generation for Deep Learning F…

200 篇论文

We can never be certain that a software system is correct simply by testing it, but with every additional successful test we become less uncertain about its correctness. In absence of source code or elaborate specifications and models,…

软件工程 · 计算机科学 2016-08-11 Neil Walkinshaw , Gordon Fraser

Deep learning (DL) applications are prevalent nowadays as they can help with multiple tasks. DL libraries are essential for building DL applications. Furthermore, DL operators are the important building blocks of the DL libraries, that…

软件工程 · 计算机科学 2023-06-06 Jingyi Shi , Yang Xiao , Yuekang Li , Yeting Li , Dongsong Yu , Chendong Yu , Hui Su , Yufeng Chen , Wei Huo

Self-adaptive robots adjust their behaviors in response to unpredictable environmental changes. These robots often incorporate deep learning (DL) components into their software to support functionality such as perception, decision-making,…

Our ongoing development and deployment of an online robotics education platform highlighted a gap in providing an interactive, feedback-rich learning environment essential for mastering programming concepts in robotics, which they were not…

机器人学 · 计算机科学 2024-05-21 Ponkoj Chandra Shill , David Feil-Seifer , Jiullian-Lee Vargas Ruiz , Rui Wu

Code coverage has been used in the software testing context mostly as a metric to assess a generated test suite's quality. Recently, code coverage analysis is used as a white-box testing technique for test optimization. Most of the research…

软件工程 · 计算机科学 2020-09-08 Krystof Sykora , Bestoun S. Ahmed , Miroslav Bures

The rise in malicious usage of large language models, such as fake content creation and academic plagiarism, has motivated the development of approaches that identify AI-generated text, including those based on watermarking or outlier…

计算与语言 · 计算机科学 2023-10-19 Kalpesh Krishna , Yixiao Song , Marzena Karpinska , John Wieting , Mohit Iyyer

REST (Representational State Transfer) APIs have become integral for data communication and exchange due to their simplicity, scalability, and compatibility with web standards. However, ensuring REST APIs' reliability through rigorous…

软件工程 · 计算机科学 2024-10-22 Tien-Quang Nguyen , Nghia-Hieu Cong , Ngoc-Minh Quach , Hieu Dinh Vo , Son Nguyen

Researchers and practitioners have designed and implemented various automated test case generators to support effective software testing. Such generators exist for various languages (e.g., Java, C#, or Python) and for various platforms…

API documentation is crucial for developers to learn and use APIs. However, it is known that many official API documents are obsolete and incomplete. To address this challenge, we propose a new approach called AutoDoc that generates API…

软件工程 · 计算机科学 2026-01-14 Bonan Kou , Zijie Zhou , Muhao Chen , Tianyi Zhang

Recent advances in generative pre-trained transformer large language models have emphasised the potential risks of unfair use of artificial intelligence (AI) generated content in an academic environment and intensified efforts in searching…

Software engineering methodologies propose that developers should capture their efforts in ensuring that programs run correctly in repeatable and automated artifacts, such as unit tests. However, when looking at developer activities on a…

软件工程 · 计算机科学 2012-12-11 Adrian Kuhn

Community based question answering services have arisen as a popular knowledge sharing pattern for netizens. With abundant interactions among users, individuals are capable of obtaining satisfactory information. However, it is not effective…

信息检索 · 计算机科学 2016-11-28 Zheqian Chen , Ben Gao , Huimin Zhang , Zhou Zhao , Deng Cai

Type errors in Python often lead to runtime failures, posing significant challenges to software reliability and developer productivity. Existing static analysis tools aim to detect such errors without execution but frequently suffer from…

软件工程 · 计算机科学 2025-10-03 Chen Yang , Ziqi Wang , Yanjie Jiang , Lin Yang , Yuteng Zheng , Jianyi Zhou , Junjie Chen

Deep neural networks (DNNs) have a wide range of applications, and software employing them must be thoroughly tested, especially in safety-critical domains. However, traditional software test coverage metrics cannot be applied directly to…

机器学习 · 计算机科学 2019-04-16 Youcheng Sun , Xiaowei Huang , Daniel Kroening , James Sharp , Matthew Hill , Rob Ashmore

While large language models (LLMs) have been widely applied to code generation, they struggle with generating entire deep learning projects, which are characterized by complex structures, longer functions, and stronger reliance on domain…

软件工程 · 计算机科学 2025-04-22 Chen Xie , Mingsheng Jiao , Xiaodong Gu , Beijun Shen

We present a framework for merging unit tests for autonomous systems. Typically, it is intractable to test an autonomous system for every scenario in its operating environment. The question of whether it is possible to design a single test…

系统与控制 · 电气工程与系统科学 2022-04-07 Josefine Graebener , Apurva Badithela , Richard M. Murray

Simulation-based testing plays a critical role in evaluating the safety and reliability of autonomous driving systems (ADSs). However, one of the key challenges in ADS testing is the complexity of preparing and configuring simulation…

软件工程 · 计算机科学 2024-12-18 Mingfei Cheng , Yuan Zhou , Xiaofei Xie

The development of modern NLP applications often relies on various benchmark datasets containing plenty of manually labeled tests to evaluate performance. While constructing datasets often costs many resources, the performance on the…

软件工程 · 计算机科学 2023-08-01 Pin Ji , Yang Feng , Weitao Huang , Jia Liu , Zhihong Zhao

Many organizations are developing autonomous driving systems, which are expected to be deployed at a large scale in the near future. Despite this, there is a lack of agreement on appropriate methods to test, debug, and certify the…

系统与控制 · 计算机科学 2019-01-09 Cumhur Erkan Tuncali , Georgios Fainekos , Hisahiro Ito , James Kapinski

Code generation aims to automatically generate code snippets of specific programming language according to natural language descriptions. The continuous advancements in deep learning, particularly pre-trained models, have empowered the code…

软件工程 · 计算机科学 2025-01-24 Zezhou Yang , Sirong Chen , Cuiyun Gao , Zhenhao Li , Xing Hu , Kui Liu , Xin Xia