中文
相关论文

相关论文: Simulink Mutation Testing using CodeBERT

200 篇论文

Monitoring issue tracker submissions is a crucial software maintenance activity. A key goal is the prioritization of high risk, security-related bugs. If such bugs can be recognized early, the risk of propagation to dependent products and…

密码学与安全 · 计算机科学 2025-12-18 Sogol Masoumzadeh , Yufei Li , Shane McIntosh , Dániel Varró , Lili Wei

Recent advances in defect detection use language models. Existing works enhanced the training data to improve the models' robustness when applied to semantically identical code (i.e., predictions should be the same). However, the use of…

软件工程 · 计算机科学 2025-04-01 Max Hort , Linas Vidziunas , Leon Moonen

Mixup data augmentation approaches have been applied for various tasks of deep learning to improve the generalization ability of deep neural networks. Some existing approaches CutMix, SaliencyMix, etc. randomly replace a patch in one image…

计算机视觉与模式识别 · 计算机科学 2024-09-20 Huafeng Qin , Xin Jin , Hongyu Zhu , Hongchao Liao , Mounîm A. El-Yacoubi , Xinbo Gao

While large language models (LLMs) bring not only performance but also complexity, recent work has started to turn LLMs into data generators rather than task inferencers, where another affordable task model is trained for efficient…

计算与语言 · 计算机科学 2023-05-24 Jiacheng Ye , Chengzu Li , Lingpeng Kong , Tao Yu

Masked language modeling (MLM) pre-training models such as BERT corrupt the input by replacing some tokens with [MASK] and then train a model to reconstruct the original tokens. This is an effective technique which has led to good results…

计算与语言 · 计算机科学 2020-06-11 Andy Wagner , Tiyasa Mitra , Mrinal Iyer , Godfrey Da Costa , Marc Tremblay

Security vulnerabilities present in a code that has been written in diverse programming languages are among the most critical yet complicated aspects of source code to detect. Static analysis tools based on rule-based patterns usually do…

密码学与安全 · 计算机科学 2025-08-19 Hael Abdulhakim Ali Humran , Ferdi Sonmez

Multi-task learning (MTL) has achieved remarkable success in natural language processing applications. In this work, we study a multi-task learning model with multiple decoders on varieties of biomedical and clinical natural language…

计算与语言 · 计算机科学 2020-05-07 Yifan Peng , Qingyu Chen , Zhiyong Lu

Ensembling BERT models often significantly improves accuracy, but at the cost of significantly more computation and memory footprint. In this work, we propose Multi-CLS BERT, a novel ensembling method for CLS-based prediction tasks that is…

计算与语言 · 计算机科学 2023-05-23 Haw-Shiuan Chang , Ruei-Yao Sun , Kathryn Ricci , Andrew McCallum

Pre-trained models for Natural Languages (NL) like BERT and GPT have been recently shown to transfer well to Programming Languages (PL) and largely benefit a broad set of code-related tasks. Despite their success, most current methods…

计算与语言 · 计算机科学 2021-09-03 Yue Wang , Weishi Wang , Shafiq Joty , Steven C. H. Hoi

Models based on the transformer architecture, such as BERT, have marked a crucial step forward in the field of Natural Language Processing. Importantly, they allow the creation of word embeddings that capture important semantic information…

计算与语言 · 计算机科学 2021-01-01 Jacob Turton , David Vinson , Robert Elliott Smith

As large language models (LLMs) become integral to applications such as question answering and content creation, reliable content attribution has become increasingly important. Watermarking is a promising approach, but most existing methods…

密码学与安全 · 计算机科学 2026-05-11 Ya Jiang , Massieh Kordi Boroujeny , Surender Suresh Kumar , Kai Zeng

This paper describes a new process and software system, the Case Count Metric System (CCMS), for systematically comparing and analyzing the outcomes of two different ER clustering processes acting on the same dataset when the true linking…

Mutation testing consists of generating test cases that detect faults injected into software (generating mutants) which its original test suite could not. By running such an augmented set of test cases, it may discover actual faults that…

软件工程 · 计算机科学 2024-06-05 Jaekwon Lee , Enrico Viganò , Fabrizio Pastore , Lionel Briand

Sentiment analysis can provide a suitable lead for the tools used in software engineering along with the API recommendation systems and relevant libraries to be used. In this context, the existing tools like SentiCR, SentiStrength-SE, etc.…

计算机视觉与模式识别 · 计算机科学 2021-12-14 Himanshu Batra , Narinder Singh Punn , Sanjay Kumar Sonbhadra , Sonali Agarwal

We present the NMR implementation of a recently proposed quantum algorithm to find the parity of a permutation. In the usual qubit model of quantum computation, speedup requires the presence of entanglement and thus cannot be achieved by a…

量子物理 · 物理学 2014-11-17 Shruti Dogra , Arvind , Kavita Dorai

Pre-trained transformer language models (LMs) have in recent years become the dominant paradigm in applied NLP. These models have achieved state-of-the-art performance on tasks such as information extraction, question answering, sentiment…

计算与语言 · 计算机科学 2025-04-14 Aidan Mannion , Thierry Chevalier , Didier Schwab , Lorraine Geouriot

SimOmics is an R package designed to generate realistic, multivariate, and multi-omics synthetic datasets. It is intended for use in benchmarking, method development, and reproducibility in bioinformatics, particularly in the context of…

基因组学 · 定量生物学 2025-07-15 Kaitao Lai

Pre-trained language models have recently contributed to significant advances in NLP tasks. Recently, multi-modal versions of BERT have been developed, using heavy pre-training relying on vast corpora of aligned textual and image data,…

计算与语言 · 计算机科学 2020-12-17 Thomas Scialom , Patrick Bordes , Paul-Alexis Dray , Jacopo Staiano , Patrick Gallinari

This paper reports on our experiences with verifying automotive C code by state-of-the-art open source software model checkers. The embedded C code is automatically generated from Simulink open-loop controller models. Its diverse features…

计算机科学中的逻辑 · 计算机科学 2020-03-27 Lukas Westhofen , Philipp Berger , Joost-Pieter Katoen

We introduce SciWING, an open-source software toolkit which provides access to pre-trained models for scientific document processing tasks, inclusive of citation string parsing and logical structure recovery. SciWING enables researchers to…

数字图书馆 · 计算机科学 2020-10-26 Abhinav Ramesh Kashyap , Min-Yen Kan