English
Related papers

Related papers: CTGEN - a Unit Test Generator for C

200 papers

Register Transfer Level (RTL) design validation is a crucial stage in the hardware design process. We present a new approach to enhancing RTL design validation using available software techniques and tools. Our approach converts the source…

Software Engineering · Computer Science 2016-02-22 Yu Zhang , Wenlong Feng , Mengxing Huang

Despite rapid advancement in the field of Constrained Natural Language Generation, little time has been spent on exploring the potential of language models which have had their vocabularies lexically, semantically, and/or phonetically…

Computation and Language · Computer Science 2023-06-29 Allen Roush , Sanjay Basu , Akshay Moorthy , Dmitry Dubovoy

Blockchain and distributed ledger technologies (DLTs) facilitate decentralized computations across trust boundaries. However, ensuring complex computations with low gas fees and confidentiality remains challenging. Recent advances in…

Cryptography and Security · Computer Science 2026-02-12 Fernando Castillo , Jonathan Heiss , Sebastian Werner , Stefan Tai

Software defects heavily affect software's functionalities and may cause huge losses. Recently, many AI-based approaches have been proposed to detect defects, which can be divided into two categories: software defect prediction and…

Software Engineering · Computer Science 2024-12-03 Xin Yin , Chao Ni , Xiaodan Xu , Xiaohu Yang

In this article, we propose the Coopetititve Soft Gating Ensemble or CSGE for general machine learning tasks and interwoven systems. The goal of machine learning is to create models that generalize well for unknown datasets. Often, however,…

Machine Learning · Computer Science 2018-08-17 Stephan Deist , Maarten Bieshaar , Jens Schreiber , Andre Gensler , Bernhard Sick

This paper presents a stream processor generator, called SPGen, for FPGA-based system-on-chip platforms. In our research project, we use an FPGA as a common platform for applications ranging from HPC to embedded/robotics computing.…

Other Computer Science · Computer Science 2014-08-25 Kentaro Sano , Hayato Suzuki , Ryo Ito , Tomohiro Ueno , Satoru Yamamoto

Test Coverage criteria are an essential concept for test engineers when generating the test cases from a System Under Test model. They are routinely used in test case generation for user interfaces, middleware, and back-end system parts for…

Software Engineering · Computer Science 2022-03-21 Vaclav Rechtberger , Miroslav Bures , Bestoun S. Ahmed

Generative Foundation Models (GFMs) have achieved remarkable success in producing high-quality synthetic data for images and text. However, their application to tabular data presents significant challenges due to the heterogeneous nature of…

Machine Learning · Computer Science 2025-11-27 Xiaofeng Lin , Chenheng Xu , Matthew Yang , Guang Cheng

ChatGPT has recently gathered attention from the general public and academia as a tool that is able to generate plausible and human-sounding text answers to various questions. One potential use, or abuse, of ChatGPT is in answering various…

Computers and Society · Computer Science 2023-04-17 Sanjay Deshpande , Jakub Szefer

Generating articulated assets is crucial for robotics, digital twins, and embodied intelligence. Existing generative models often rely on single-view inputs representing closed states, resulting in ambiguous or unrealistic kinematic…

Computer Vision and Pattern Recognition · Computer Science 2025-12-16 Haowen Wang , Xiaoping Yuan , Fugang Zhang , Rui Jian , Yuanwei Zhu , Xiuquan Qiao , Yakun Huang

Modern software systems rely heavily on Web APIs, yet creating meaningful and executable test scripts remains a largely manual, time-consuming, and error-prone task. In this paper, we present APITestGenie, a novel tool that leverages Large…

Software Engineering · Computer Science 2026-04-03 André Pereira , Bruno Lima , João Pascoal Faria

This study introduces an innovative application of Conditional Generative Adversarial Networks (C-GAN) integrated with Stacked Hourglass Networks (SHGN) aimed at enhancing image segmentation, particularly in the challenging environment of…

Image and Video Processing · Electrical Eng. & Systems 2024-08-06 Haowei Yang , Yuxiang Hu , Shuyao He , Ting Xu , Jiajie Yuan , Xingxin Gu

The Cancer Registry of Norway (CRN) collects, curates, and manages data related to cancer patients in Norway, supported by an interactive, human-in-the-loop, socio-technical decision support software system. Automated software testing of…

Software Engineering · Computer Science 2023-11-07 Christoph Laaber , Tao Yue , Shaukat Ali , Thomas Schwitalla , Jan F. Nygård

In this paper we present a novel algorithm for automatic performance testing that uses an online variant of the Generative Adversarial Network (GAN) to optimize the test generation process. The objective of the proposed approach is to…

Software Engineering · Computer Science 2021-04-23 Ivan Porres , Hergys Rexha , Sébastien Lafond

Many software systems originate as prototypes or minimum viable products (MVPs), developed with an emphasis on delivery speed and responsiveness to changing requirements rather than long-term code maintainability. While effective for rapid…

Software Engineering · Computer Science 2026-04-06 Ema Smolic , Mario Brcic , Luka Hobor , Mihael Kovac

By advances in technology, integrated circuits have come to include more functionality and more complexity in a single chip. Although methods of testing have improved, but the increase in complexity of circuits, keeps testing a challenging…

Distributed, Parallel, and Cluster Computing · Computer Science 2017-11-27 Elaheh Sadredini , Reza Rahimi , Paniz Foroutan , Mahmood Fathy , Zainalabedin Navabi

Controllable Text Generation (CTG) has obtained great success due to its fine-grained generation ability obtained by focusing on multiple attributes. However, most existing CTG researches overlook how to utilize the attribute entanglement…

Computation and Language · Computer Science 2022-11-01 Shulin Huang , Shirong Ma , Yinghui Li , Yangning Li , Shiyang Lin , Hai-Tao Zheng , Ying Shen

Chart-to-code reconstruction -- the task of recovering executable plotting scripts from chart images -- provides important insights into a model's ability to ground data visualizations in precise, machine-readable form. Yet many existing…

[Context] Modern AI applications increasingly process highly structured data, such as 3D meshes and point clouds, where test input generation must preserve both structural and semantic validity. However, existing fuzzing tools and input…

Software Engineering · Computer Science 2025-07-30 Zhaorui Yang , Yuxin Qiu , Haichao Zhu , Qian Zhang

Learning-based medical image registration has matched the accuracy of conventional methods while offering superior computational efficiency. However, existing approaches suffer from poor generalization across diverse clinical scenarios,…

Computer Vision and Pattern Recognition · Computer Science 2026-05-25 Zi Li , Jianpeng Zhang , Tai Ma , Tony C. W. Mok , Yan-Jie Zhou , Zeli Chen , Xianghua Ye , Le Lu , Cheng Chen , Dakai Jin
‹ Prev 1 8 9 10 Next ›