English
Related papers

Related papers: Descartes: A PITest Engine to Detect Pseudo-Tested…

200 papers

Deep learning models have become essential in software engineering, enabling intelligent features like image captioning and document generation. However, their popularity raises concerns about environmental impact and inefficient model…

Software Engineering · Computer Science 2023-05-29 Jai Kannan , Scott Barnett , Anj Simmons , Taylan Selvi , Luis Cruz

In this paper, we describe a tool for debugging the output and attention weights of neural machine translation (NMT) systems and for improved estimations of confidence about the output based on the attention. The purpose of the tool is to…

Computation and Language · Computer Science 2018-08-09 Matīss Rikters

Introductory Computer Science classes are important for laying the foundation for advanced programming courses. However, students without prior programming experience may find these courses challenging, leading to difficulties in…

Computers and Society · Computer Science 2025-06-24 Jesse McDonald , Scott Robertson , Anthony Peruma

To harness the power of multi-core and distributed platforms, and to make the development of concurrent software more accessible to software engineers, different object-oriented concurrency models such as SCOOP have been proposed. Despite…

Software Engineering · Computer Science 2015-04-13 Alexander Heußner , Christopher M. Poskitt , Claudio Corrodi , Benjamin Morandi

This paper presents an underlying framework for both automating and accelerating malware classification, more specifically, mapping malicious executables to known Advanced Persistent Threat (APT) groups. The main feature of this analysis is…

Cryptography and Security · Computer Science 2025-04-23 Noah Subedar , Taeui Kim , Saathwick Venkataramalingam

PyTorch \texttt{2.x} introduces a compiler designed to accelerate deep learning programs. However, for machine learning researchers, adapting to the PyTorch compiler to full potential can be challenging. The compiler operates at the Python…

Machine Learning · Computer Science 2024-03-22 Kaichao You , Runsheng Bai , Meng Cao , Jianmin Wang , Ion Stoica , Mingsheng Long

The joint task of bug localization and program repair is an integral part of the software development process. In this work we present DeepDebug, an approach to automated debugging using large, pretrained transformers. We begin by training…

Software Engineering · Computer Science 2021-05-21 Dawn Drain , Colin B. Clement , Guillermo Serrato , Neel Sundaresan

Offensive security is one of the state of the art measures to protect enterprises and organizations. Penetration testing, broadly called pentesting, is a branch of offensive security designed to find, rate and exploit these vulnerabilities,…

Cryptography and Security · Computer Science 2024-06-13 Jacobo Casado de Gracia , Alfonso Sánchez-Macián

GAPS is an international balloon-borne project that contributes to solving the dark-matter mystery through a highly sensitive survey of cosmic-ray antiparticles, especially undiscovered antideuterons. To achieve a sufficient sensitivity to…

Instrumentation and Methods for Astrophysics · Physics 2019-09-12 Takuya Wada , Hideyuki Fuke , Yuki Shimizu , Tetsuya Yoshida

Pseudo-code written by natural language is helpful for novice developers' program comprehension. However, writing such pseudo-code is time-consuming and laborious. Motivated by the research advancements of sequence-to-sequence learning and…

Software Engineering · Computer Science 2021-09-22 Guang Yang , Yanlin Zhou , Xiang Chen , Chi Yu

The online data reduction service reductus transforms measurements in experimental science from laboratory coordinates into physically meaningful quantities with accurate estimation of uncertainties based on instrumental settings and…

Data Analysis, Statistics and Probability · Physics 2018-11-15 Brian Maranville , William Ratcliff , Paul Kienzle

Recent provenance-based intrusion detection systems (PIDSs) have demonstrated strong potential for detecting advanced persistent threats (APTs) by applying machine learning to system provenance graphs. However, evaluating and comparing…

Cryptography and Security · Computer Science 2026-02-16 Tristan Bilot , Baoxiang Jiang , Thomas Pasquier

As new advancements in the field of quantum computing lead to the development of increasingly complex programs, approaches to validate and debug these programs are becoming more important. To this end, methods employed in classical…

Quantum Physics · Physics 2024-12-20 Damian Rovara , Lukas Burgholzer , Robert Wille

Mutation analysis can provide valuable insights into both System Under Test (SUT) and its test suite. However, it is not scalable due to the cost of building and testing a large number of mutants. Predictive Mutation Testing (PMT) has been…

Software Engineering · Computer Science 2022-09-15 Jinhan Kim , Juyoung Jeon , Shin Hong , Shin Yoo

A version control system, such as Git, requires a way to integrate changes from different developers or branches. Given a merge scenario, a merge tool either outputs a clean integration of the changes, or it outputs a conflict for manual…

Software Engineering · Computer Science 2024-10-15 Benedikt Schesch , Ryan Featherman , Kenneth J. Yang , Ben R. Roberts , Michael D. Ernst

Automatic software plagiarism detection tools are widely used in educational settings to ensure that submitted work was not copied. These tools have grown in use together with the rise in enrollments in computer science programs and the…

Cryptography and Security · Computer Science 2020-10-06 Breanna Devore-McDonald , Emery D. Berger

Quantum Computing has been presenting major developments in the last few years, unveiling systems with a increasing number of qubits. However, unreliable quantum processes in universal quantum computers still represent one of the the…

Quantum Physics · Physics 2023-10-27 Pedro Ripper , Gustavo Amaral , Guilherme Temporão

Reproducibility is a core requirement of modern scientific research. For computational research, reproducibility means that code should produce the same results, even when run on different systems. A standard approach to ensuring…

Other Computer Science · Computer Science 2023-10-03 Paxton C. Fitzpatrick , Jeremy R. Manning

Many academic studies in the field of software testing rely on mutation testing to use as their comparison criteria. However, recent studies have shown that redundant mutants have a significant effect on the accuracy of their results. One…

Software Engineering · Computer Science 2018-09-10 Ali Parsai , Serge Demeyer

Latte (for LATent Tensor Evaluation) is a Python library for evaluation of latent-based generative models in the fields of disentanglement learning and controllable generation. Latte is compatible with both PyTorch and TensorFlow/Keras, and…

Machine Learning · Computer Science 2022-03-24 Karn N. Watcharasupat , Junyoung Lee , Alexander Lerch